hackage.haskell.org "formal-methods" keyword
rme 0.1.2
3 versions - Latest release: about 1 month ago - 31 downloads total - 5 maintainersopentheory 1.200
9 versions - Latest release: over 10 years ago - 6.44 thousand downloads total - 1 maintainerimprove 0.4.0
An imperative programming language in Haskell for high assurance embedded applications. ImProve ...29 versions - Latest release: over 14 years ago - 20.8 thousand downloads total - 57 stars on GitHub - 1 maintainer
what4 1.7.3
What4 is a generic library for representing values as symbolic formulae which may contain referen...16 versions - Latest release: about 1 month ago - 9 dependent packages - 18 dependent repositories - 5.17 thousand downloads total - 170 stars on GitHub - 6 maintainers
Top 4.0% on hackage.haskell.org
135 versions - Latest release: about 14 years ago - 8 dependent packages - 162 dependent repositories - 85.6 thousand downloads total - 240 stars on GitHub - 1 maintainer
sbv 0.9.24
Express properties about Haskell programs and automatically prove them using SMT (Satisfiability ...135 versions - Latest release: about 14 years ago - 8 dependent packages - 162 dependent repositories - 85.6 thousand downloads total - 240 stars on GitHub - 1 maintainer
SmtLib 0.1.0.0
Parser for smt-lib Command responses1 version - Latest release: about 11 years ago - 1.24 thousand downloads total - 2 stars on GitHub - 1 maintainer
atp 0.1.0.0
Haskell interface to automated theorem provers1 version - Latest release: about 5 years ago - 1 dependent repositories - 244 downloads total - 9 stars on GitHub - 1 maintainer
hermit 1.0.1
HERMIT is a Haskell-specific toolkit designed to mechanize equational reasoning and program trans...18 versions - Latest release: about 10 years ago - 6 dependent repositories - 17.5 thousand downloads total - 4 maintainers
theoremquest 0.0.0
1 version - Latest release: about 15 years ago - 1 dependent repositories - 1.22 thousand downloads total - 1 maintaineropentheory-probability 1.52
5 versions - Latest release: over 10 years ago - 3.55 thousand downloads total - 1 maintaineryices-painless 0.1.2
3 versions - Latest release: about 15 years ago - 2.59 thousand downloads total - 1 maintainerPropaFP 0.1.2.0
Please see the README on GitHub at https://github.com/rasheedja/PropaFP#readme3 versions - Latest release: almost 3 years ago - 2 dependent packages - 2 dependent repositories - 294 downloads total - 8 stars on GitHub - 1 maintainer
smtlib2 0.3.1
5 versions - Latest release: over 9 years ago - 1 dependent package - 4 dependent repositories - 4.56 thousand downloads total - 1 maintainergrisette 0.13.0.1
Grisette is a reusable symbolic evaluation library for Haskell. By translating programs into cons...18 versions - Latest release: 8 months ago - 1 dependent package - 2 dependent repositories - 1.31 thousand downloads total - 69 stars on GitHub - 1 maintainer
smtlib2-quickcheck 1.0
1 version - Latest release: about 9 years ago - 1.03 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 8 years ago - 11.3 thousand downloads total - 1 maintainer
opentheory-byte 1.128
5 versions - Latest release: over 10 years ago - 3.43 thousand downloads total - 1 maintainerghc-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 8 years ago - 1.67 thousand downloads total - 146 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: almost 3 years ago - 1 dependent package - 1 dependent repositories - 194 downloads total - 5 stars on GitHub - 1 maintainer
smtlib2-pipe 1.0
1 version - Latest release: about 9 years ago - 1 dependent repositories - 1.11 thousand 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: almost 2 years ago - 1 dependent package - 2 dependent repositories - 1.04 thousand downloads total - 1 maintainer
smtlib2-timing 1.0
1 version - Latest release: about 9 years ago - 1.04 thousand downloads total - 1 maintainertoysolver 0.9.0
Toy-level solver implementation of various problems including SAT, SMT, Max-SAT, PBSPBO (Pseudo B...16 versions - Latest release: about 1 year ago - 2 dependent repositories - 16.1 thousand downloads total - 158 stars on GitHub - 1 maintainer
sbvPlugin 9.14.1
GHC plugin for proving properties over Haskell functions using SMT solvers, based on the SBV pack...21 versions - Latest release: about 2 months ago - 1 dependent repositories - 6.97 thousand downloads total - 45 stars on GitHub - 1 maintainer
acl2 0.0.1
2 versions - Latest release: over 11 years ago - 2.48 thousand downloads total - 1 maintainersmtlib2-debug 1.0
1 version - Latest release: about 9 years ago - 1 dependent repositories - 1.05 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 8 years ago - 8.57 thousand downloads total - 1 maintainer
opentheory-bits 1.69
5 versions - Latest release: over 10 years ago - 3.37 thousand downloads total - 1 maintainerCSPM-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 8 years ago - 7.55 thousand downloads total - 1 maintainer
theoremquest-client 0.0.0
1 version - Latest release: about 15 years ago - 1.18 thousand downloads total - 1 maintainerafv 0.1.1
7 versions - Latest release: almost 16 years ago - 5.93 thousand downloads total - 1 maintainerdove 0.0.0
1 version - Latest release: almost 11 years ago - 1.13 thousand downloads total - 1 maintainerboolector 0.0.0.13
Haskell bindings for the Boolector SMT solver13 versions - Latest release: over 5 years ago - 2 dependent repositories - 6.33 thousand downloads total - 5 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: about 3 years ago - 1 dependent repositories - 198 downloads total - 0 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 8 years ago - 1 dependent repositories - 6.03 thousand downloads total - 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: almost 8 years ago - 16 dependent repositories - 11.4 thousand downloads total - 60 stars on GitHub - 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 8 years ago - 1 dependent repositories - 13.2 thousand downloads total - 1 maintainer
tptp 0.1.3.0
Parser and pretty printer for the TPTP language7 versions - Latest release: about 5 years ago - 1 dependent repositories - 2.66 thousand downloads total - 7 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: about 2 years ago - 1 dependent repositories - 186 downloads total - 0 stars on GitHub - 1 maintainer
CSPM-Interpreter 0.7.1.0
This package contains an interpreter for CSPM and instance declarations that implement the interf...11 versions - Latest release: over 8 years ago - 11.2 thousand downloads total - 1 maintainer
g2q 0.1.0.0
G2Q allows constraint programming, via writing Haskell predicates. A quasiquoter, g2, is provided...1 version - Latest release: over 6 years ago - 548 downloads total - 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: over 3 years ago - 1 dependent repositories - 237 downloads total - 3 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 6 years ago - 701 downloads total - 0 stars on GitHub
opentheory-primitive 1.8
9 versions - Latest release: over 10 years ago - 6.36 thousand downloads total - 1 maintainerRelated Keywords
Propose Tags
44
library
42
bsd3
27
theorem-provers
21
smt
15
symbolic-computation
13
language
10
math
9
program
9
mit
8
haskell
8
gpl
7
concurrency
5
bit-vectors
5
verification
4
logic
3
theorem-prover
3
theorem-proving
3
mpl
2
maths
2
mathematics
2
game
2
optimization
2
tptp
2
automated-theorem-provers
2
constraints
1
optimisation
1
mathematical-programming
1
sat-solver
1
smt-solver
1
sbv
1
api
1
z3
1
parsing
1
pretty-printer
1
eprover
1
haskell-library
1
parsing-library
1
pretty-print
1
vampire
1
deprecated
1
algorithms
1
automatic-theorem-proving
1
compiler-plugin
1
embedded
1
synthesis
1
symbolic-execution
1
symbolic-evaluation
1
atp
1
formal-verification
1
floating-point-arithmetic
1
floating-point
1
first-order-logic
1
prover
1
transformation
1
reflection
1
refactoring
1