sbv
Express properties about Haskell programs and automatically prove them using SMT (Satisfiability ...
Latest release 8.16 - Updated - 137 stars
sbvPlugin
GHC plugin for proving properties over Haskell functions using SMT solvers, based on the SBV pack...
Latest release 9.0.1 - Updated - 38 stars
tamarin-prover
The Tamarin prover is a tool for the analysis of security protocols. It implements a constraint s...
Latest release 0.8.6.3 - Updated - 130 stars
what4
What4 is a generic library for representing values as symbolic formulae which may contain referen...
Latest release 1.2.1 - Updated - 99 stars
tamarin-prover-theory
This is an internal library of the Tamarin prover for security protocol verification (hackage.has...
Latest release 0.8.6.0 - Updated - 130 stars
tamarin-prover-utils
This is an internal library of the Tamarin prover for security protocol verification (hackage.has...
Latest release 0.8.5.1 - Updated - 130 stars
tamarin-prover-term
This is an internal library of the Tamarin prover for security protocol verification (hackage.has...
Latest release 0.8.5.1 - Updated - 130 stars
toysolver
Toy-level solver implementation of various problems including SAT, SMT, Max-SAT, PBSPBO (Pseudo B...
Latest release 0.7.0 - Updated - 125 stars
twee-lib
An equational theorem prover based on Knuth-Bendix completion
Latest release 2.4.1 - Updated - 21 stars
twee
Twee is an experimental equational theorem prover based on Knuth-Bendix completion. Given a set ...
Latest release 2.4.1 - Updated - 21 stars
hz3
Bindings for the Z3 4.x Theorem Prover (https://github.com/Z3Prover/z3). Z3.Base.C provides the ...
Latest release v4.3 - Published - 18 stars
z3
Bindings for the Z3 4.x Theorem Prover (https://github.com/Z3Prover/z3). Z3.Base.C provides the ...
Latest release 4.3.1 - Updated - 18 stars
haskhol-core
More details can be found at the following page: http:haskhol.org.
Latest release 1.1.0 - Updated - 12 stars
smtlib2
[Index] Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info For pac...
Latest release 1.0 - Updated - 8 stars
scyther-proof
scyther-proof is a security protocol verification tool based on an algorithm similar to the Scyth...
Latest release 0.10.0.1 - Updated - 8 stars
logic-classes
Package to support Propositional and First Order Logic. It includes classes representing the dif...
Latest release 1.7.1 - Updated - 5 stars
global-data-manager
Save project-global variables in one location, manage and access them anywhere
Latest release 0.0.1 - Updated
boolector
Haskell bindings for the Boolector SMT solver
Latest release 0.0.0.8 - Updated - 4 stars
math.npm
Simple mathematics Node.js package
Latest release 1.0.0 - Published
@byu-oit/node-mysql-query-builder
Quickly build MySQL queries
Latest release 1.0.0 - Updated
@byu-oit/node-postgres-query-builder
Quickly build postgresql queries
Latest release 1.5.0 - Updated
fis-parser-type-script
A parser plugin for fis to compile typescript.
Latest release 0.0.4 - Updated
Folly
An implementation of first order logic in Haskell that includes a library of modules for incorpor...
Latest release 0.2.0.1 - Updated - 5 stars
structural-induction
See documentation for Induction.Structural
Latest release 0.3 - Updated - 3 stars
logic-TPTP
For information about the TPTP format, see http://www.cs.miami.edu/~tptp/. Components: Parse...
Latest release 0.4.6.0 - Updated - 2 stars
dedukti
Dedukti is a proof checker for the λΠ-modulo calculus, a dependently typed λ-calculus with the ad...
Latest release 1.1.4 - Updated
hylolib
[Index] For package maintainers and hackage trustees
Latest release 1.4.0 - Updated
math_example_rtingle1_2016
An example of creating a package
Latest release 1.0.0 - Published
HTab
Tableau based theorem prover for hybrid logics
Latest release 1.6.3 - Updated
node_test_gwh
node module
Latest release 1.0.0 - Published
License
Language
Keyword
Platform

Subscribe to an RSS feed of this search