DifferenceLogic
Version 0.1.0.4 revision 0 uploaded by dillonhuff.
Package meta
- Synopsis
- A theory solver for conjunctions of literals in difference logic
- Description
This package contains a theory solver for conjunctions of literals in difference logic. The logic supports predicates: > < >= <= = It does not currently support disequality
- Author
- Dillon Huff
- Bug reports
- n/a
- Category
- Math
- Copyright
- n/a
- Homepage
- https://github.com/dillonhuff/DifferenceLogic
- Maintainer
- dillonhuff@gmail.com
- Package URL
- n/a
- Stability
- n/a