fme

Fourier-Motzkin elimination for integer inequality satisfiability

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedTuesday, August 15th, 2017 4:54:28pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaultgit://github.com/pnwamk/fme#master63075d432e7803b2822a78568306c29a6fde557c
Last checkedSunday, December 17th, 2017 9:15:12am (UTC)
Last editedThursday, October 13th, 2016 6:13:00pm (UTC)
Modules
  • fme/main.rkt
  • fme/private/fme.rkt
  • fme/private/leq.rkt
  • fme/private/fme-utils.rkt
  • fme/private/benchmarks.rkt
  • fme/fme.scrbl
  • fme/private/lexp.rkt