A Haskell bundle of the Minisat SAT solver

minisat alternatives and similar packages

Based on the "Logic" category

• tamarin-prover

  9.7 7.7 minisat VS tamarin-prover

  The Tamarin prover for security protocol analysis.

• hatt

  7.9 0.0 minisat VS hatt

  A truth table generator for classical propositional logic.

• tip-haskell-frontend

  7.5 2.8 minisat VS tip-haskell-frontend

  Convert from Haskell to Tip

• atp-haskell

  7.1 0.0 minisat VS atp-haskell

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

• smcdel

  7.1 5.7 minisat VS smcdel

  Symbolic Model Checking for Dynamic Epistemic Logic

• picosat

  7.0 3.0 L2 minisat VS picosat

  Bindings to the PicoSAT solver

• jukebox

  6.4 3.6 minisat VS jukebox

  A first-order reasoning toolbox

• picologic

  6.3 0.0 minisat VS picologic

  Utilities for symbolic predicate logic expressions

• hout

  5.7 6.1 minisat VS hout

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

• logic-classes

  5.6 0.0 minisat VS logic-classes

  Framework for propositional and first order logic, theorem proving

• haskhol-core

  4.8 0.0 minisat VS haskhol-core

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

• obdd

  4.8 0.0 minisat VS obdd

  Ordered Reduced Binary Decision Diagrams

• Folly

  4.8 0.0 minisat VS Folly

  A first order logic library in Haskell

• Heyting Algebras

  4.4 0.0 minisat VS Heyting Algebras

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

• structural-induction

  4.0 0.0 minisat VS structural-induction

  Instantiate structural induction schemas for algebraic data types

• satchmo

  3.8 0.0 minisat VS satchmo

  SAT encoding monad

• g4ip-prover

  3.4 0.0 minisat VS g4ip-prover

  Theorem prover for intuitionistic propositional logic using G4ip

• tpdb

  3.1 0.0 minisat VS tpdb

  Data Type for Rewriting Systems

• qed

  3.1 0.0 minisat VS qed

  Simple prover

• g4ip

  2.0 0.0 minisat VS g4ip

  A theorem prover for propositional logic that uses G4ip

• judge

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

Popular Comparisons

• minisat
  vs
  picosat
• minisat
  vs
  hatt
• minisat
  vs
  atp-haskell
• qed
  vs
  tamarin-prover
• minisat
  vs
  picosat

SaaSHub - Software Alternatives and Reviews View more from us