@hackage DifferenceLogic0.1.0.2

A theory solver for conjunctions of literals in difference logic

Categories
- Mathematics
License
BSD-3-Clause
Maintainer
dillonhuff@gmail.com
Links
- Homepage
- Documentation
- No source repository
Versions
- 0.1.0.4 Wed, 5 Nov 2014
- 0.1.0.2 Sun, 2 Nov 2014
- 0.1.0.1 Sat, 25 Oct 2014

Installation
In your cabal file:
Dependencies (5)
- base >=4.6 && <4.7
- containers >=0.5 && <0.6
- FirstOrderTheory
- HUnit >=1.2 && <1.3
- fgl
Dependents (2)
@hackage/acme-everything, @hackage/Smooth

This package contains a theory solver for conjunctions of literals in difference logic. The logic supports predicates: > < >= <= = It does not currently support disequality

@hackage DifferenceLogic0.1.0.2

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (5)

Dependents (2)