@hackage / DifferenceLogic

A theory solver for conjunctions of literals in difference logic

Latest0.1.0.4

Dependencies

library:DifferenceLogic (5 dependencies)

@hackage / FirstOrderTheory Grammar and typeclass for first order theories
- Version:
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.6 && <4.7
- License: BSD-3-Clause
@hackage / HUnit A unit testing framework for Haskell
- Version: >=1.2 && <1.3
- License: BSD-3-Clause
@hackage / fgl Martin Erwig's Functional Graph Library
- Version:
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.5 && <0.6
- License: BSD-3-Clause