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

Components