fme

Fourier-Motzkin elimination for integer inequality satisfiability

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedMonday, June 15th, 2015 7:04:53pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Versions
VersionSourceChecksum
defaultgit://github.com/pnwamk/fme#master63075d432e7803b2822a78568306c29a6fde557c
Last checkedSunday, June 25th, 2017 4:10:17pm (UTC)
Last editedThursday, October 13th, 2016 6:13:00pm (UTC)
Modules
  • fme/private/lexp.rkt
  • fme/fme.scrbl
  • fme/main.rkt
  • fme/private/fme.rkt
  • fme/private/leq.rkt
  • fme/private/benchmarks.rkt
  • fme/private/fme-utils.rkt