hackage.haskell.org : hasmtlib
Hasmtlib is a library for generating SMTLib2-problems using a monad. It takes care of encoding your problem, marshaling the data to an external solver and parsing and interpreting the result into Haskell types. It is highly inspired by ekmett/ersatz which does the same for QSAT. Communication with external solvers is handled by tweag/smtlib-backends.
Registry
-
Source
- JSON
purl: pkg:hackage/hasmtlib
Keywords:
gpl
, library
, logic
, smt
, Propose Tags
, smt-lib2
, smt2
, smtlib
, smtlib2
License: GPL-3.0-only
Latest release: 8 months ago
First release: about 1 year ago
Downloads: 777 total
Stars: 11 on GitHub
Forks: 1 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 20 days ago