@hackage DifferenceLogic0.1.0.4

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

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

Installation
In your cabal file:
Dependencies (0)
Dependents (0)

@hackage DifferenceLogic0.1.0.4

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (0)

Dependents (0)