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