Haskell Logic

17 Logic packages and projects

• tamarin-prover

  9.5 8.5 Haskell

  The Tamarin prover for security protocol analysis.

• hatt

  7.1 0.0 Haskell

  A truth table generator for classical propositional logic.

• atp-haskell

  6.6 0.0 Haskell

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

• tip-haskell-frontend

  6.3 7.6 Haskell

  Convert from Haskell to Tip

• picologic

  6.1 2.4 Haskell

  Utilities for symbolic predicate logic expressions

• logic-classes

  5.9 1.1 Haskell

  Framework for propositional and first order logic, theorem proving

• picosat

  5.9 1.4 L2 C

  Bindings to the PicoSAT solver

• Folly

  5.1 0.1 Haskell

  A first order logic library in Haskell

• jukebox

  4.6 6.0 Haskell

  A first-order reasoning toolbox

• haskhol-core

  4.3 2.1 Haskell

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

• satchmo

  4.0 0.0 Haskell

  SAT encoding monad

• obdd

  3.6 6.0 Haskell

  Ordered Reduced Binary Decision Diagrams

• tpdb

  3.2 1.0 Haskell

  Data Type for Rewriting Systems

• structural-induction

  1.6 0.0 Haskell

  Instantiate structural induction schemas for algebraic data types

• minisat

  1.6 0.0

  A Haskell bundle of the Minisat SAT solver

• qed

  1.6 0.0 Haskell

  Simple prover

• g4ip

  1.0 1.9 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.