hasmtlib

Version 2.8.1 revision 0 uploaded by bruderj15.

Package meta

Synopsis
A monad for interfacing with external SMT solvers
Description

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.

Author
Julian Bruder
Bug reports
https://github.com/bruderj15/Hasmtlib/issues
Category
SMT, Logic
Copyright
© 2024 Julian Bruder
Homepage
https://github.com/bruderj15/Hasmtlib
Maintainer
julian.bruder@outlook.com
Package URL
n/a
Stability
n/a

Components