minisat alternatives and similar packages

Based on the "Logic" category.
Alternatively, view minisat alternatives based on common mentions on social networks and blogs.

tamarin-prover

9.8 8.2 minisat VS tamarin-prover

Main source code repository of the Tamarin prover for security protocol verification.
hatt

7.9 0.0 minisat VS hatt

Truth-table generator for classical propositional logic

Scout APM: A developer's best friend. Try free for 14-days

Scout APM uses tracing logic that ties bottlenecks to source code so you know the exact line of code causing performance issues and can get back to building a great product faster.

Promo scoutapm.com

smcdel

7.7 0.0 minisat VS smcdel

A symbolic model checker for Dynamic Epistemic Logic.
tip-haskell-frontend

7.6 0.0 minisat VS tip-haskell-frontend

Convert from Haskell to Tip
atp-haskell

7.0 0.0 minisat VS atp-haskell

Haskell version of the code from "Handbook of Practical Logic and Automated Reasoning"
picologic

6.8 0.0 minisat VS picologic

Symbolic logic expressions
picosat

6.8 0.0 L2 minisat VS picosat

Haskell bindings for PicoSAT solver
jukebox

6.3 2.6 minisat VS jukebox

A theorem prover
Heyting Algebras

6.1 0.0 minisat VS Heyting Algebras

Heyting Algebras in Haskell
logic-classes

6.0 0.0 minisat VS logic-classes

Framework for propositional and first order logic, theorem proving
hout

5.9 0.0 minisat VS hout

A non-interactive proof assistant using the Haskell type system
obdd

5.2 0.0 minisat VS obdd

pure Haskell implementation of reduced ordered binary decision diagrams
Folly

5.0 0.0 minisat VS Folly

First order logic in Haskell
structural-induction

4.8 0.0 minisat VS structural-induction

SII: Structural Induction Instantiator over any strictly-positive algebraic data type.
g4ip-prover

3.9 0.0 minisat VS g4ip-prover

Theorem prover for intuitionistic propositional logic, fork of github.com/cacay/G4ip
satchmo

3.3 0.0 minisat VS satchmo

SAT encoder
qed

2.7 0.0 minisat VS qed

Experiments writing a prover
tpdb

2.6 0.0 minisat VS tpdb

parser and prettyprinter for TPDB syntax (termination problem data base)
g4ip

2.6 0.0 minisat VS g4ip

A theorem prover using G4ip
haskhol-core

1.2 0.0 minisat VS haskhol-core

The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.
judge

1.2 0.0 minisat VS judge

Tableau-based theorem prover for justification logic.