Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org "formal-methods" keyword
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
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
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
SmtLib 0.1.0.0
Parser for smt-lib Command responses1 version - Latest release: about 9 years ago - 1.18 thousand downloads total - 2 stars on GitHub - 1 maintainer
safe-coupling 0.1.0.1
Relational proof system for probabilistic algorithms. Supports two proving methods: upper bound K...2 versions - Latest release: almost 2 years ago - 1 dependent repositories - 129 downloads total - 3 stars on GitHub - 1 maintainer
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
LPPaver 0.0.5.0
Please see the README on GitHub at https://github.com/rasheedja/LPPaver#readme2 versions - Latest release: about 1 year ago - 1 dependent package - 1 dependent repositories - 92 downloads total - 5 stars on GitHub - 1 maintainer
tptp 0.1.3.0
Parser and pretty printer for the TPTP language7 versions - Latest release: over 3 years ago - 1 dependent repositories - 2.27 thousand downloads total - 6 stars on GitHub - 1 maintainer
PropaFP 0.1.2.0
Please see the README on GitHub at https://github.com/rasheedja/PropaFP#readme3 versions - Latest release: about 1 year ago - 2 dependent packages - 2 dependent repositories - 152 downloads total - 6 stars on GitHub - 1 maintainer
atp 0.1.0.0
Haskell interface to automated theorem provers1 version - Latest release: over 3 years ago - 1 dependent repositories - 176 downloads total - 6 stars on GitHub - 1 maintainer
smcdel 1.3.0
See README.md for references and documentation.4 versions - Latest release: 25 days ago - 1 dependent package - 2 dependent repositories - 1.16 thousand downloads total - 39 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
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 - 274 downloads total - 44 stars on GitHub - 1 maintainer
improve 0.4.0
An imperative programming language in Haskell for high assurance embedded applications. ImProve ...29 versions - Latest release: almost 13 years ago - 19.7 thousand downloads total - 56 stars on GitHub - 1 maintainer
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
ghc-proofs 0.1.1
Often when writing Haskel code, one would like to prove things about the code. A good example is...2 versions - Latest release: over 6 years ago - 1.57 thousand downloads total - 145 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
toysolver 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.1 thousand downloads total - 149 stars on GitHub - 1 maintainer
Top 4.0% on hackage.haskell.org
116 versions - Latest release: over 12 years ago - 8 dependent packages - 162 dependent repositories - 75.9 thousand downloads total - 233 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 - 75.9 thousand downloads total - 233 stars on GitHub - 1 maintainer
CSPM-ToProlog 0.5.5.0
This package contains a translation from a CSPM AST to the representation used by the ProB tool. ...6 versions - Latest release: over 6 years ago - 1 dependent repositories - 5.79 thousand downloads total - 1 maintainer
CSPM-Frontend 0.12.1.0
CSP-M is the machine readable syntax of CSP (concurrent sequential processes) as used by the form...13 versions - Latest release: over 6 years ago - 1 dependent repositories - 12.7 thousand downloads total - 1 maintainer
opentheory 1.200
9 versions - Latest release: almost 9 years ago - 6.01 thousand downloads total - 1 maintaineryices-painless 0.1.2
3 versions - Latest release: over 13 years ago - 2.46 thousand downloads total - 1 maintainerhermit 1.0.1
HERMIT is a Haskell-specific toolkit designed to mechanize equational reasoning and program trans...18 versions - Latest release: about 8 years ago - 6 dependent repositories - 16.8 thousand downloads total - 4 maintainers
CSPM-FiringRules 0.4.4.0
This package contains functions for computing the transitions of a CSP process based on the stand...7 versions - Latest release: over 6 years ago - 7.29 thousand downloads total - 1 maintainer
dove 0.0.0
1 version - Latest release: about 9 years ago - 1.02 thousand downloads total - 1 maintainerCSPM-cspm 0.8.1.0
cspm is a small command line tool for analyzing CSPM specifications.11 versions - Latest release: over 6 years ago - 10.9 thousand downloads total - 1 maintainer
opentheory-primitive 1.8
9 versions - Latest release: over 8 years ago - 5.93 thousand downloads total - 1 maintainerCSPM-CoreLanguage 0.3.1.0
This package contains an interface for the CSP core-language. It defines processes, events, event...8 versions - Latest release: over 6 years ago - 8.2 thousand downloads total - 1 maintainer
afv 0.1.1
7 versions - Latest release: about 14 years ago - 5.68 thousand downloads total - 1 maintainersmtlib2-pipe 1.0
1 version - Latest release: over 7 years ago - 1 dependent repositories - 1.03 thousand downloads total - 1 maintainertheoremquest 0.0.0
1 version - Latest release: about 13 years ago - 1 dependent repositories - 1.16 thousand downloads total - 1 maintainersmtlib2-timing 1.0
1 version - Latest release: over 7 years ago - 975 downloads total - 1 maintainersmtlib2-debug 1.0
1 version - Latest release: over 7 years ago - 1 dependent repositories - 973 downloads total - 1 maintainerg2 0.2.0.0
A Haskell symbolic execution engine. For details, please see: https://github.com/BillHallahan/G23 versions - Latest release: about 2 months ago - 1 dependent package - 2 dependent repositories - 882 downloads total - 1 maintainer
smtlib2 0.3.1
5 versions - Latest release: almost 8 years ago - 1 dependent package - 4 dependent repositories - 4.31 thousand downloads total - 1 maintainersmtlib2-quickcheck 1.0
1 version - Latest release: over 7 years ago - 957 downloads total - 1 maintaineropentheory-byte 1.128
5 versions - Latest release: over 8 years ago - 3.22 thousand downloads total - 1 maintaineropentheory-probability 1.52
5 versions - Latest release: over 8 years ago - 3.32 thousand downloads total - 1 maintaineropentheory-bits 1.69
5 versions - Latest release: over 8 years ago - 3.12 thousand downloads total - 1 maintainertheoremquest-client 0.0.0
1 version - Latest release: about 13 years ago - 1.12 thousand downloads total - 1 maintainerCSPM-Interpreter 0.7.1.0
This package contains an interpreter for CSPM and instance declarations that implement the interf...11 versions - Latest release: over 6 years ago - 10.8 thousand downloads total - 1 maintainer
acl2 0.0.1
2 versions - Latest release: over 9 years ago - 2.34 thousand downloads total - 1 maintainerg2q 0.1.0.0
G2Q allows constraint programming, via writing Haskell predicates. A quasiquoter, g2, is provided...1 version - Latest release: almost 5 years ago - 494 downloads total - 1 maintainer
Related Keywords
library
42
bsd3
26
theorem-provers
21
smt
15
symbolic-computation
13
program
10
language
10
haskell
9
math
9
mit
8
gpl
8
concurrency
5
bit-vectors
5
verification
4
logic
4
theorem-prover
3
theorem-proving
3
automated-theorem-provers
2
tptp
2
optimization
2
game
2
mathematics
2
mpl
2
maths
2
pretty-printer
1
symbolic-execution
1
synthesis
1
embedded
1
api
1
z3
1
compiler-plugin
1
algorithms
1
constraints
1
optimisation
1
mathematical-programming
1
sat-solver
1
smt-solver
1
refactoring
1
reflection
1
transformation
1
deprecated
1
parsing
1
eprover
1
haskell-library
1
automatic-theorem-proving
1
parsing-library
1
pretty-print
1
vampire
1
floating-point
1
floating-point-arithmetic
1
formal-verification
1
atp
1
first-order-logic
1
prover
1
epistemic-logic
1
model-checking
1
symbolic
1
sbv
1
symbolic-evaluation
1