The latest version of smtlib2 is 1.0-1.
lib:smtlib2
Modules
- Data.Unit
- Language.SMTLib2
- Language.SMTLib2.Connection
- Language.SMTLib2.Internals
- Language.SMTLib2.Internals.Instances
- Language.SMTLib2.Internals.Interface
- Language.SMTLib2.Internals.Operators
- Language.SMTLib2.Internals.Optimize
- Language.SMTLib2.Pipe
- Language.SMTLib2.Solver
- Language.SMTLib2.Strategy
Dependencies
- array lib:array >=0
- atto-lisp lib:atto-lisp >=0.2 && <0.3
- attoparsec lib:attoparsec >=0
- base lib:base >=4 && <5
- blaze-builder lib:blaze-builder >=0
- bytestring lib:bytestring >=0
- constraints lib:constraints >=0
- containers lib:containers >=0
- data-fix lib:data-fix >=0
- mtl lib:mtl >=0
- process lib:process >=0
- tagged lib:tagged >=0
- text lib:text >=0
- transformers lib:transformers >=0
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- copilot-theorem lib:copilot-theorem
- smtlib2-pipe test:test-smtlib2-pipe