A first-order reasoning toolbox

jukebox alternatives and similar packages

Based on the "Logic" category

• tamarin-prover

  9.7 7.7 jukebox VS tamarin-prover

  The Tamarin prover for security protocol analysis.

• hatt

  7.9 0.0 jukebox VS hatt

  A truth table generator for classical propositional logic.

• tip-haskell-frontend

  7.5 2.8 jukebox VS tip-haskell-frontend

  Convert from Haskell to Tip

• atp-haskell

  7.1 0.0 jukebox VS atp-haskell

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

• smcdel

  7.1 5.7 jukebox VS smcdel

  Symbolic Model Checking for Dynamic Epistemic Logic

• picosat

  7.0 3.0 L2 jukebox VS picosat

  Bindings to the PicoSAT solver

• picologic

  6.3 0.0 jukebox VS picologic

  Utilities for symbolic predicate logic expressions

• hout

  5.7 6.1 jukebox VS hout

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

• logic-classes

  5.6 0.0 jukebox VS logic-classes

  Framework for propositional and first order logic, theorem proving

• haskhol-core

  4.8 0.0 jukebox VS haskhol-core

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

• Folly

  4.8 0.0 jukebox VS Folly

  A first order logic library in Haskell

• obdd

  4.8 0.0 jukebox VS obdd

  Ordered Reduced Binary Decision Diagrams

• Heyting Algebras

  4.4 0.0 jukebox VS Heyting Algebras

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

• structural-induction

  4.0 0.0 jukebox VS structural-induction

  Instantiate structural induction schemas for algebraic data types

• satchmo

  3.8 0.0 jukebox VS satchmo

  SAT encoding monad

• g4ip-prover

  3.4 0.0 jukebox VS g4ip-prover

  Theorem prover for intuitionistic propositional logic using G4ip

• tpdb

  3.1 0.0 jukebox VS tpdb

  Data Type for Rewriting Systems

• qed

  3.1 0.0 jukebox VS qed

  Simple prover

• g4ip

  2.0 0.0 jukebox VS g4ip

  A theorem prover for propositional logic that uses G4ip

• minisat

  1.5 0.0 jukebox VS minisat

  A Haskell bundle of the Minisat SAT solver

• judge

  1.5 0.8 jukebox 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 jukebox or a related project?

Popular Comparisons

• jukebox
  vs
  picosat
• tamarin-prover
  vs
  qed
• picosat
  vs
  minisat
• g4ip-prover
  vs
  picosat
• picosat
  vs
  hatt

SaaSHub - Software Alternatives and Reviews View more from us