The latest version of hasmtlib is 2.8.1-0.

hasmtlib

Version 1.1.0 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
n/a
Category
SMT
Copyright
2024 Julian Bruder
Homepage
https://github.com/bruderj15/Hasmtlib
Maintainer
julian.bruder@outlook.com
Package URL
n/a
Stability
n/a

Components