The DifferenceLogic package

[ Tags: bsd3, library, math ] [ Propose Tags ]

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


Dependencies base (==4.6.*), containers (==0.5.*), fgl, FirstOrderTheory, HUnit (==1.2.*) [details]
License BSD3
Author Dillon Huff
Category Math
Home page
Uploaded Wed Nov 5 07:11:31 UTC 2014 by dillonhuff
Distributions NixOS:
Downloads 1200 total (19 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2016-10-25 [all 14 reports]
Hackage Matrix CI


  • DifferenceLogic
    • DifferenceLogic.Solver


Maintainer's Corner

For package maintainers and hackage trustees