The DifferenceLogic package

[Tags:bsd3, library]

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

Properties

Versions 0.1.0.1, 0.1.0.2, 0.1.0.4
Dependencies base (==4.6.*), containers (==0.5.*), fgl, FirstOrderTheory, HUnit (==1.2.*) [details]
License BSD3
Author Dillon Huff
Maintainer dillonhuff@gmail.com
Category Math
Home page https://github.com/dillonhuff/DifferenceLogic
Uploaded Wed Nov 5 07:11:31 UTC 2014 by dillonhuff
Distributions NixOS:0.1.0.4
Downloads 742 total (13 in the last 30 days)
Votes
0 []
Status Docs not available [build log]
All reported builds failed as of 2016-10-25 [all 14 reports]
Hackage Matrix CI

Modules

  • DifferenceLogic
    • DifferenceLogic.Solver

Downloads

Maintainer's Corner

For package maintainers and hackage trustees