Haskell Logic | LibHunt

9.6

7.8

tamarin-prover

7.3

0.0

hatt

7.1

6.7

tip-haskell-frontend

6.7

0.9

atp-haskell

6.3

0.0

picologic

6.2

2.2

picosat

20 Logic packages and projects

tamarin-prover

9.6 7.8 Haskell

The Tamarin prover for security protocol analysis.
hatt

7.3 0.0 Haskell

A truth table generator for classical propositional logic.
tip-haskell-frontend

7.1 6.7 Haskell

Convert from Haskell to Tip
atp-haskell

6.7 0.9 Haskell

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

6.3 0.0 Haskell

Utilities for symbolic predicate logic expressions
picosat

6.2 2.2 L2 C

Bindings to the PicoSAT solver
logic-classes

5.7 0.7 Haskell

Framework for propositional and first order logic, theorem proving
jukebox

5.4 5.2 Haskell

A first-order reasoning toolbox
obdd

4.7 2.8 Haskell

Ordered Reduced Binary Decision Diagrams
Folly

4.7 0.0 Haskell

A first order logic library in Haskell
haskhol-core

4.7 0.0 Haskell

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

3.7 0.0 Haskell

SAT encoding monad
tpdb

3.0 4.7 Haskell

Data Type for Rewriting Systems
g4ip-prover

3.0 4.0 Haskell

Theorem prover for intuitionistic propositional logic using G4ip
structural-induction

1.8 0.0 Haskell

Instantiate structural induction schemas for algebraic data types
g4ip

1.8 0.0 Haskell

A theorem prover for propositional logic that uses G4ip
qed

1.4 0.0 Haskell

Simple prover
minisat

1.1 0.0

A Haskell bundle of the Minisat SAT solver
judge

1.1 0.3 Haskell

Tableau-based theorem prover.
Heyting Algebras

0.8 8.3 Haskell

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

* 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.

Popular Comparisons

Add another 'Logic' Package