hackage.haskell.org "smt" keyword

hz3 96.0.0.0 💰

Fork of z3 with future-proof version-numbering scheme Bindings for the Z3 4.x Theorem Prover (ht...
1 version - Latest release: almost 7 years ago - 726 downloads total - 0 stars on GitHub

Top 4.0% on hackage.haskell.org

sbv 0.9.24

Express properties about Haskell programs and automatically prove them using SMT (Satisfiability ...
135 versions - Latest release: almost 15 years ago - 8 dependent packages - 162 dependent repositories - 89.5 thousand downloads total - 267 stars on GitHub - 1 maintainer

what4 1.7.3

What4 is a generic library for representing values as symbolic formulae which may contain referen...
17 versions - Latest release: 8 months ago - 9 dependent packages - 18 dependent repositories - 5.57 thousand downloads total - 179 stars on GitHub - 6 maintainers

z3 4.3.1

Bindings for the Z3 4.x Theorem Prover (https://github.com/Z3Prover/z3). Z3.Base.C provides the ...
15 versions - Latest release: over 8 years ago - 16 dependent repositories - 11.7 thousand downloads total - 65 stars on GitHub - 1 maintainer

linearEqSolver 2.4

Solve linear systems of equations over integers and rationals, using an SMT solver. linearEqSolv...
9 versions - Latest release: almost 2 years ago - 1 dependent repositories - 5.11 thousand downloads total - 11 stars on GitHub - 1 maintainer

liquid-finfield 0.9.12.2.1

Liquid Types For Haskell
1 version - Latest release: 9 months ago - 28 downloads total - 1,334 stars on GitHub - 4 maintainers

smtlib-backends-z3 0.3.1

3 versions - Latest release: over 2 years ago - 1 dependent repositories - 456 downloads total - 1 maintainer

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: almost 2 years ago - 1.44 thousand downloads total - 16 stars on GitHub - 1 maintainer

liquid-containers 0.6.4.1

Liquid Types For Haskell
2 versions - Latest release: over 3 years ago - 1 dependent package - 10 dependent repositories - 599 downloads total - 1,334 stars on GitHub - 5 maintainers

Top 4.7% on hackage.haskell.org

liquidhaskell 0.9.14.1.1

Liquid Types for Haskell.
43 versions - Latest release: 4 months ago - 10 dependent packages - 21 dependent repositories - 27.2 thousand downloads total - 1,334 stars on GitHub - 7 maintainers

liquid-vector 0.13.1.0.2

Liquid Types For Haskell
5 versions - Latest release: 9 months ago - 1 dependent package - 4 dependent repositories - 712 downloads total - 1,334 stars on GitHub - 5 maintainers

liquid-bytestring 0.10.12.1

Liquid Types For Haskell
2 versions - Latest release: over 3 years ago - 1 dependent package - 3 dependent repositories - 459 downloads total - 1,334 stars on GitHub - 4 maintainers

liquid-base 4.14.3.0

Liquid Types For Haskell
5 versions - Latest release: over 2 years ago - 6 dependent packages - 16 dependent repositories - 1.3 thousand downloads total - 1,334 stars on GitHub - 5 maintainers

liquid-prelude 0.9.14.1

Liquid Types For Haskell
9 versions - Latest release: 5 months ago - 1 dependent package - 11 dependent repositories - 1.09 thousand downloads total - 1,334 stars on GitHub - 4 maintainers

liquid-ghc-prim 0.7.0

Liquid Types For Haskell
3 versions - Latest release: over 5 years ago - 1 dependent package - 5 dependent repositories - 1.01 thousand downloads total - 1,334 stars on GitHub - 5 maintainers

liquid-platform 0.9.2.8

Liquid Types For Haskell
5 versions - Latest release: over 2 years ago - 835 downloads total - 1,334 stars on GitHub - 5 maintainers

liquid-parallel 3.2.2.0.3

Liquid Types For Haskell
4 versions - Latest release: over 2 years ago - 475 downloads total - 1,334 stars on GitHub - 5 maintainers

liquidhaskell-boot 0.9.14.1.1

Liquid Types For Haskell
12 versions - Latest release: 4 months ago - 2 dependent packages - 1 dependent repositories - 1.17 thousand downloads total - 1,334 stars on GitHub - 4 maintainers

grisette-monad-coroutine 0.2.0.0

Orphan instances and wrappers for monad-coroutine package with Grisette.
2 versions - Latest release: over 2 years ago - 1 dependent repositories - 231 downloads total - 0 stars on GitHub - 1 maintainer

language-smtlib 0.2.0.0

A Text-based library for parsing, printing, and incrementally streaming the SMT-LIB 2.7 format. ...
2 versions - Latest release: 3 months ago - 14 downloads total - 0 stars on GitHub - 1 maintainer

smtlib-backends 0.4

3 versions - Latest release: over 2 years ago - 4 dependent packages - 1 dependent repositories - 1.09 thousand downloads total - 1 maintainer

smtlib2-pipe 1.0

SMTLib2 interface implementation for Haskell
1 version - Latest release: over 9 years ago - 1 dependent repositories - 1.13 thousand downloads total - 18 stars on GitHub - 1 maintainer

boolector 0.0.0.13

Haskell bindings for the Boolector SMT solver
13 versions - Latest release: about 6 years ago - 2 dependent repositories - 6.52 thousand downloads total - 5 stars on GitHub - 1 maintainer

smtlib2-timing 1.0

SMTLib2 interface implementation for Haskell
1 version - Latest release: over 9 years ago - 1.06 thousand downloads total - 18 stars on GitHub - 1 maintainer

grisette 0.13.0.1

Grisette is a reusable symbolic evaluation library for Haskell. By translating programs into cons...
18 versions - Latest release: about 1 year ago - 1 dependent package - 2 dependent repositories - 1.71 thousand downloads total - 76 stars on GitHub - 1 maintainer

smtlib2-debug 1.0

1 version - Latest release: over 9 years ago - 1 dependent repositories - 1.07 thousand downloads total - 1 maintainer

smt2-parser 0.1.0.1

Please see the README on GitHub at https://github.com/crvdgc/smt2-parser#readme
2 versions - Latest release: almost 4 years ago - 1 dependent package - 1 dependent repositories - 1.15 thousand downloads total - 1 stars on GitHub - 2 maintainers

Top 9.5% on hackage.haskell.org

smtLib 1.0.9

Haskell datatypes for generating SMTLIB files.
11 versions - Latest release: over 8 years ago - 1 dependent package - 131 dependent repositories - 11.8 thousand downloads total - 12 stars on GitHub - 1 maintainer

smtlib2 0.3.1

SMTLib2 interface implementation for Haskell
5 versions - Latest release: over 10 years ago - 1 dependent package - 4 dependent repositories - 4.66 thousand downloads total - 18 stars on GitHub - 1 maintainer

toysolver 0.10.0

Toy-level solver implementation of various problems including SAT, SMT, Max-SAT, PBSPBO (Pseudo B...
17 versions - Latest release: 2 months ago - 2 dependent repositories - 16.7 thousand downloads total - 159 stars on GitHub - 1 maintainer

smtlib-backends-process 0.3

2 versions - Latest release: over 3 years ago - 1 dependent package - 1 dependent repositories - 942 downloads total - 1 maintainer

what4-domains 0.1

1 version - Latest release: 27 days ago - 2 downloads total - 4 maintainers

smtlib-backends-tests 0.3

2 versions - Latest release: over 3 years ago - 1 dependent repositories - 223 downloads total - 2 maintainers

sbvPlugin 9.14.1

GHC plugin for proving properties over Haskell functions using SMT solvers, based on the SBV pack...
21 versions - Latest release: 9 months ago - 1 dependent repositories - 7.18 thousand downloads total - 47 stars on GitHub - 1 maintainer

sbv-program 1.1.0.0

Given a library of available componen functions, synthesize a program implementing a specification.
2 versions - Latest release: over 3 years ago - 1 dependent repositories - 239 downloads total - 0 stars on GitHub - 1 maintainer

smtlib2-quickcheck 1.0

1 version - Latest release: over 9 years ago - 1.05 thousand downloads total - 1 maintainer

Related Keywords

Propose Tags 36 library 35 bsd3 25 formal-methods 16 haskell 16 theorem-provers 15 verification 14 language 13 symbolic-computation 12 refinement-types 11 math 6 gpl 6 deprecated 5 mit 5 bit-vectors 5 smtlib2 2 smtlib 2 smt-lib2 2 program 2 parser 2 smt-lib 2 smt2 2 logic 2 z3 1 api 1 synthesis 1 symbolic-execution 1 symbolic-evaluation 1 formal-languages 1 testing 1 optimisation 1 optimization 1 sbv 1 algorithms 1 theorem-prover 1 smt-solver 1 sat-solver 1 mathematical-programming 1 constraints 1