Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

hackage.haskell.org "smtlib" keyword

hasmtlib 2.8.1
Hasmtlib is a library for generating SMTLib2-problems using a monad. It takes care of encoding yo...
28 versions - Latest release: over 1 year ago - 1.1 thousand downloads total - 11 stars on GitHub - 1 maintainer
Related Keywords
gpl 1 library 1 logic 1 smt 1 Propose Tags 1 smt-lib2 1 smt2 1 smtlib2 1