jukebox alternatives and similar packages

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

tamarin-prover

9.8 0.0 jukebox VS tamarin-prover

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

7.9 0.0 jukebox VS smcdel

A symbolic model checker for Dynamic Epistemic Logic.

Updating dependencies is time-consuming.

Solutions like Dependabot or Renovate update but don't merge dependencies. You need to do it manually while it could be fully automated! Add a Merge Queue to your workflow and stop caring about PR management & merging. Try Mergify for free.

Promo blog.mergify.com

hatt

7.7 0.0 jukebox VS hatt

Truth-table generator for classical propositional logic
tip-haskell-frontend

7.5 0.0 jukebox VS tip-haskell-frontend

Convert from Haskell to Tip
picosat

6.8 0.0 L2 jukebox VS picosat

Haskell bindings for PicoSAT solver
atp-haskell

6.8 0.0 jukebox VS atp-haskell

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

6.8 0.0 jukebox VS picologic

Symbolic logic expressions
hout

6.4 0.0 jukebox VS hout

A non-interactive proof assistant using the Haskell type system
logic-classes

5.9 0.0 jukebox VS logic-classes

Framework for propositional and first order logic, theorem proving
Heyting Algebras

5.6 0.0 jukebox VS Heyting Algebras

Heyting Algebras in Haskell
Folly

5.5 0.0 jukebox VS Folly

First order logic in Haskell
obdd

5.1 0.0 jukebox VS obdd

pure Haskell implementation of reduced ordered binary decision diagrams
structural-induction

4.5 0.0 jukebox VS structural-induction

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

4.0 0.0 jukebox VS g4ip-prover

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

3.8 0.0 jukebox VS qed

Experiments writing a prover
satchmo

2.7 0.0 jukebox VS satchmo

SAT encoder
tpdb

2.7 0.0 jukebox VS tpdb

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

1.9 0.0 jukebox VS g4ip

A theorem prover using G4ip
minisat

1.8 0.0 jukebox VS minisat

Minisat Haskell bundle
judge

1.4 0.0 jukebox VS judge

Tableau-based theorem prover for justification logic.
haskhol-core

0.7 0.0 jukebox VS haskhol-core

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