Framework for propositional and first order logic, theorem proving

logic-classes alternatives and similar packages

Based on the "Logic" category

• tamarin-prover

  9.7 7.7 logic-classes VS tamarin-prover

  The Tamarin prover for security protocol analysis.

• hatt

  7.9 0.0 logic-classes VS hatt

  A truth table generator for classical propositional logic.

• tip-haskell-frontend

  7.5 2.8 logic-classes VS tip-haskell-frontend

  Convert from Haskell to Tip

• atp-haskell

  7.1 0.0 logic-classes VS atp-haskell

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

• smcdel

  7.1 5.7 logic-classes VS smcdel

  Symbolic Model Checking for Dynamic Epistemic Logic

• picosat

  7.0 3.0 L2 logic-classes VS picosat

  Bindings to the PicoSAT solver

• jukebox

  6.4 3.6 logic-classes VS jukebox

  A first-order reasoning toolbox

• picologic

  6.3 0.0 logic-classes VS picologic

  Utilities for symbolic predicate logic expressions

• hout

  5.7 6.1 logic-classes VS hout

  Non-interactive proof assistant monad for first-order logic.

• Folly

  4.8 0.0 logic-classes VS Folly

  A first order logic library in Haskell

• haskhol-core

  4.8 0.0 logic-classes VS haskhol-core

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

• obdd

  4.8 0.0 logic-classes VS obdd

  Ordered Reduced Binary Decision Diagrams

• Heyting Algebras

  4.4 0.0 logic-classes VS Heyting Algebras

  This package provides Heyting and Boolean operations together with various constructions of Heyting algebras.

• structural-induction

  4.0 0.0 logic-classes VS structural-induction

  Instantiate structural induction schemas for algebraic data types

• satchmo

  3.8 0.0 logic-classes VS satchmo

  SAT encoding monad

• g4ip-prover

  3.4 0.0 logic-classes VS g4ip-prover

  Theorem prover for intuitionistic propositional logic using G4ip

• tpdb

  3.1 0.0 logic-classes VS tpdb

  Data Type for Rewriting Systems

• qed

  3.1 0.0 logic-classes VS qed

  Simple prover

• g4ip

  2.0 0.0 logic-classes VS g4ip

  A theorem prover for propositional logic that uses G4ip

• minisat

  1.5 0.0 logic-classes VS minisat

  A Haskell bundle of the Minisat SAT solver

• judge

  1.5 0.8 logic-classes VS judge

  Tableau-based theorem prover.

* 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.

Do you think we are missing an alternative of logic-classes or a related project?

Popular Comparisons

• logic-classes
  vs
  picosat
• logic-classes
  vs
  tamarin-prover
• qed
  vs
  tamarin-prover
• picosat
  vs
  minisat
• picosat
  vs
  g4ip-prover

SaaSHub - Software Alternatives and Reviews View more from us