fme

Fourier-Motzkin elimination for integer inequality satisfiability

Build status: ok passing tests missing license metadata

Documentation Code
Authors
Documentation
Tags
License
    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 checkedThursday, April 25th, 2024 4:02:43am (UTC)
    Last editedThursday, October 13th, 2016 6:13:00pm (UTC)
    Date addedN/A
    Modules
    • fme/fme.scrbl
    • fme/private/lexp.rkt
    • fme/private/fme.rkt
    • fme/private/benchmarks.rkt
    • fme/private/leq.rkt
    • fme/main.rkt
    • fme/private/fme-utils.rkt