Haskell Logic

18 Logic packages and projects

• tamarin-prover

  9.6 8.5 Haskell

  The Tamarin prover for security protocol analysis.

• hatt

  7.2 0.0 Haskell

  A truth table generator for classical propositional logic.

• tip-haskell-frontend

  6.8 7.2 Haskell

  Convert from Haskell to Tip

• atp-haskell

  6.7 0.0 Haskell

  Translation from Ocaml to Haskell of John Harrison's ATP code

• picologic

  6.5 1.9 Haskell

  Utilities for symbolic predicate logic expressions

• picosat

  5.9 1.2 L2 C

  Bindings to the PicoSAT solver

• logic-classes

  5.9 0.1 Haskell

  Framework for propositional and first order logic, theorem proving

• jukebox

  5.1 8.3 Haskell

  A first-order reasoning toolbox

• Folly

  5.1 0.0 Haskell

  A first order logic library in Haskell

• haskhol-core

  4.3 0.0 Haskell

  The core logical system of HaskHOL, an EDSL for HOL theorem proving.

• satchmo

  4.0 0.0 Haskell

  SAT encoding monad

• obdd

  3.7 4.9 Haskell

  Ordered Reduced Binary Decision Diagrams

• tpdb

  3.3 0.0 Haskell

  Data Type for Rewriting Systems

• g4ip-prover

  2.8 2.2 Haskell

  Theorem prover for intuitionistic propositional logic using G4ip

• structural-induction

  1.9 0.0 Haskell

  Instantiate structural induction schemas for algebraic data types

• minisat

  1.9 0.0

  A Haskell bundle of the Minisat SAT solver

• qed

  1.9 0.0 Haskell

  Simple prover

• g4ip

  1.9 1.6 Haskell

  A theorem prover for propositional logic that uses G4ip

* Code Quality Rankings and insights are calculated and provided by Lumnify.
They vary from L1 to L5 with "L5" being the highest. Visit our partner's website for more details.

Popular Comparisons

• tamarin-prover
  vs
  qed