Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org "smt" keyword
boolector 0.0.0.13
Haskell bindings for the Boolector SMT solver13 versions - Latest release: over 3 years ago - 2 dependent repositories - 5.88 thousand downloads total - 4 stars on GitHub - 1 maintainer
grisette 0.5.0.1
Grisette is a reusable symbolic evaluation library for Haskell. By translating programs into cons...9 versions - Latest release: about 1 month ago - 1 dependent package - 2 dependent repositories - 308 downloads total - 44 stars on GitHub - 1 maintainer
grisette-monad-coroutine 0.2.0.0
Orphan instances and wrappers for monad-coroutine package with Grisette.2 versions - Latest release: 4 months ago - 1 dependent repositories - 87 downloads total - 1 stars on GitHub - 1 maintainer
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: over 4 years ago - 588 downloads total - 0 stars on GitHub
linearEqSolver 2.3
Solve linear systems of equations over integers and rationals, using an SMT solver. linearEqSolv...8 versions - Latest release: about 4 years ago - 1 dependent repositories - 4.62 thousand downloads total - 8 stars on GitHub - 1 maintainer
liquid-base 4.14.3.0
Liquid Types For Haskell5 versions - Latest release: about 2 months ago - 6 dependent packages - 16 dependent repositories - 999 downloads total - 1,153 stars on GitHub - 5 maintainers
liquid-bytestring 0.10.12.1
Liquid Types For Haskell2 versions - Latest release: about 1 year ago - 1 dependent package - 3 dependent repositories - 314 downloads total - 1,145 stars on GitHub - 4 maintainers
liquid-containers 0.6.4.1
Liquid Types For Haskell2 versions - Latest release: about 1 year ago - 1 dependent package - 10 dependent repositories - 474 downloads total - 1,145 stars on GitHub - 5 maintainers
liquid-ghc-prim 0.7.0
Liquid Types For Haskell3 versions - Latest release: almost 3 years ago - 1 dependent package - 5 dependent repositories - 785 downloads total - 1,153 stars on GitHub - 5 maintainers
Top 4.7% on hackage.haskell.org
36 versions - Latest release: about 2 months ago - 10 dependent packages - 21 dependent repositories - 23.9 thousand downloads total - 1,153 stars on GitHub - 7 maintainers
liquidhaskell 0.8.10.7.1
Liquid Types for Haskell.36 versions - Latest release: about 2 months ago - 10 dependent packages - 21 dependent repositories - 23.9 thousand downloads total - 1,153 stars on GitHub - 7 maintainers
liquidhaskell-boot 0.9.8.1
Liquid Types For Haskell5 versions - Latest release: 4 months ago - 2 dependent packages - 1 dependent repositories - 269 downloads total - 1,153 stars on GitHub - 1 maintainer
liquid-parallel 3.2.2.0.3
Liquid Types For Haskell4 versions - Latest release: 2 months ago - 276 downloads total - 1,145 stars on GitHub - 5 maintainers
liquid-platform 0.9.2.8
Liquid Types For Haskell5 versions - Latest release: 4 months ago - 550 downloads total - 1,153 stars on GitHub - 5 maintainers
liquid-prelude 0.9.2.8.1
Liquid Types For Haskell5 versions - Latest release: 2 months ago - 1 dependent package - 11 dependent repositories - 587 downloads total - 1,153 stars on GitHub - 4 maintainers
liquid-vector 0.13.1.0.1
Liquid Types For Haskell4 versions - Latest release: 2 months ago - 1 dependent package - 4 dependent repositories - 402 downloads total - 1,153 stars on GitHub - 5 maintainers
Top 4.0% on hackage.haskell.org
116 versions - Latest release: over 12 years ago - 8 dependent packages - 162 dependent repositories - 76 thousand downloads total - 234 stars on GitHub - 1 maintainer
sbv 0.9.24
Express properties about Haskell programs and automatically prove them using SMT (Satisfiability ...116 versions - Latest release: over 12 years ago - 8 dependent packages - 162 dependent repositories - 76 thousand downloads total - 234 stars on GitHub - 1 maintainer
sbvPlugin 9.8.2
GHC plugin for proving properties over Haskell functions using SMT solvers, based on the SBV pack...18 versions - Latest release: about 2 months ago - 1 dependent repositories - 6.16 thousand downloads total - 44 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 1 year ago - 1 dependent repositories - 103 downloads total - 0 stars on GitHub - 1 maintainer
smt2-parser 0.1.0.1
Please see the README on GitHub at https://github.com/crvdgc/smt2-parser#readme2 versions - Latest release: over 1 year ago - 1 dependent package - 1 dependent repositories - 666 downloads total - 1 stars on GitHub - 2 maintainers
Top 9.5% on hackage.haskell.org
smtLib 1.0.9
11 versions - Latest release: about 6 years ago - 1 dependent package - 131 dependent repositories - 11.1 thousand downloads total - 1 maintainersmtlib2 0.3.1
5 versions - Latest release: almost 8 years ago - 1 dependent package - 4 dependent repositories - 4.31 thousand downloads total - 1 maintainersmtlib2-debug 1.0
1 version - Latest release: over 7 years ago - 1 dependent repositories - 973 downloads total - 1 maintainersmtlib2-pipe 1.0
1 version - Latest release: over 7 years ago - 1 dependent repositories - 1.03 thousand downloads total - 1 maintainersmtlib2-quickcheck 1.0
1 version - Latest release: over 7 years ago - 957 downloads total - 1 maintainersmtlib2-timing 1.0
1 version - Latest release: over 7 years ago - 975 downloads total - 1 maintainersmtlib-backends 0.3
2 versions - Latest release: over 1 year ago - 4 dependent packages - 1 dependent repositories - 454 downloads total - 1 maintainersmtlib-backends-process 0.3
2 versions - Latest release: over 1 year ago - 1 dependent package - 1 dependent repositories - 449 downloads total - 1 maintainersmtlib-backends-tests 0.3
2 versions - Latest release: over 1 year ago - 1 dependent repositories - 104 downloads total - 2 maintainerssmtlib-backends-z3 0.3.1
3 versions - Latest release: 4 months ago - 1 dependent repositories - 200 downloads total - 1 maintainertoysolver 0.8.1
Toy-level solver implementation of various problems including SAT, SMT, Max-SAT, PBSPBO (Pseudo B...15 versions - Latest release: over 1 year ago - 2 dependent repositories - 15.2 thousand downloads total - 152 stars on GitHub - 1 maintainer
what4 1.5.1
What4 is a generic library for representing values as symbolic formulae which may contain referen...8 versions - Latest release: 7 months ago - 9 dependent packages - 18 dependent repositories - 3.84 thousand downloads total - 146 stars on GitHub - 3 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: about 6 years ago - 16 dependent repositories - 10.7 thousand downloads total - 57 stars on GitHub - 1 maintainer
Related Keywords
library
31
bsd3
22
formal-methods
15
haskell
15
theorem-provers
14
verification
13
symbolic-computation
11
language
11
refinement-types
10
math
6
gpl
5
deprecated
5
mit
5
bit-vectors
5
program
3
theorem-prover
1
api
1
z3
1
smt-solver
1
sat-solver
1
mathematical-programming
1
optimization
1
optimisation
1
logic
1
constraints
1
algorithms
1
testing
1
smt2
1
smt-lib
1
parser
1
formal-languages
1
sbv
1
synthesis
1
symbolic-execution
1
symbolic-evaluation
1