satchmo

SAT encoder

Source Code Changelog

Suggest Changes

Popularity

2.9

Growing

Activity

4.0

-

Stars 4

Watchers 1

Forks 1

Last Commit over 1 year ago

Monthly Downloads: 34

Programming language: Haskell

License: GNU General Public License v2.0 only

Tags: Logic Satchmo

satchmo alternatives and similar packages

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

tamarin-prover

9.9 8.3 satchmo VS tamarin-prover

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

8.5 0.0 satchmo VS smcdel

A symbolic model checker for Dynamic Epistemic Logic.

SaaSHub - Software Alternatives and Reviews

SaaSHub helps you find the best software and product alternatives

Promo www.saashub.com

tip-haskell-frontend

7.7 2.1 satchmo VS tip-haskell-frontend

Convert from Haskell to Tip
hatt

7.6 0.0 satchmo VS hatt

Truth-table generator for classical propositional logic
hout

7.4 0.0 satchmo VS hout

A non-interactive proof assistant using the Haskell type system
atp-haskell

7.2 4.8 satchmo VS atp-haskell

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

6.6 0.0 satchmo VS picologic

Symbolic logic expressions
picosat

6.5 0.0 L2 satchmo VS picosat

Haskell bindings for PicoSAT solver
jukebox

6.3 4.7 satchmo VS jukebox

A theorem prover
logic-classes

5.7 0.0 satchmo VS logic-classes

Framework for propositional and first order logic, theorem proving
Folly

5.6 0.0 satchmo VS Folly

First order logic in Haskell
obdd

5.5 2.8 satchmo VS obdd

pure Haskell implementation of reduced ordered binary decision diagrams
Heyting Algebras

5.2 0.0 satchmo VS Heyting Algebras

Heyting Algebras in Haskell
tpdb

3.8 4.2 satchmo VS tpdb

parser and prettyprinter for TPDB syntax (termination problem data base)
structural-induction

3.8 0.0 satchmo VS structural-induction

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

3.2 0.0 satchmo VS g4ip-prover

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

3.2 3.1 satchmo VS minisat

Minisat Haskell bundle
g4ip

2.6 0.0 satchmo VS g4ip

A theorem prover using G4ip
qed

1.9 0.0 satchmo VS qed

Experiments writing a prover
haskhol-core

1.6 0.0 satchmo VS haskhol-core

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

1.3 0.0 satchmo VS judge

Tableau-based theorem prover for justification logic.

* Code Quality Rankings and insights are calculated and provided by Lumnify.
They vary from L1 to L5 with "L5" being the highest.

Do you think we are missing an alternative of satchmo or a related project?

Add another 'Logic' Package

Popular Comparisons

README

SAT encoding monad

Do not miss the trending, packages, news and articles with our weekly report.

Awesome Haskell is part of the LibHunt network. Terms. Privacy Policy.

We recommend Spin The Wheel Of Names for a cryptographically secure random name picker.