hackage.haskell.org "logic" keyword
expressions 0.4.2
16 versions - Latest release: over 7 years ago - 9.08 thousand downloads total - 1 maintainerexpressions-z3 0.1.6
11 versions - Latest release: almost 8 years ago - 6.15 thousand downloads total - 1 maintainerzsyntax 0.2.0.0
An automated theorem prover for Zsyntax, a logical calculus for molecular biology inspired by lin...1 version - Latest release: over 7 years ago - 1 dependent repositories - 584 downloads total - 12 stars on GitHub - 1 maintainer
LogicGrowsOnTrees-MPI 1.0.0
3 versions - Latest release: over 12 years ago - 1 dependent repositories - 2.9 thousand downloads total - 1 maintainertptp 0.1.3.0
Parser and pretty printer for the TPTP language7 versions - Latest release: over 5 years ago - 1 dependent repositories - 2.77 thousand downloads total - 7 stars on GitHub - 1 maintainer
Top 8.8% on hackage.haskell.org
28 versions - Latest release: over 3 years ago - 2 dependent packages - 118 dependent repositories - 20.5 thousand downloads total - 64 stars on GitHub - 3 maintainers
ersatz 0.4.13
A monad for expressing SAT or QSAT problems using observable sharing. For example, we can expres...28 versions - Latest release: over 3 years ago - 2 dependent packages - 118 dependent repositories - 20.5 thousand downloads total - 64 stars on GitHub - 3 maintainers
satplus 0.1.0.0
[Index] [Quick Jump] Package maintainers For package maintainers and hackage trustees Candid...1 version - Latest release: 5 days ago - 0 downloads total - 1 maintainer
streamly-core 0.3.0
6 versions - Latest release: 9 months ago - 14 dependent packages - 2 dependent repositories - 1.67 thousand downloads total - 2 maintainers
Top 5.8% on hackage.haskell.org
28 versions - Latest release: 9 months ago - 20 dependent packages - 58 dependent repositories - 20.4 thousand downloads total - 3 maintainers
streamly 0.11.0
For upgrading to streamly-0.9.0+ please read the Streamly-0.9.0 upgrade guide. Streamly is a hig...28 versions - Latest release: 9 months ago - 20 dependent packages - 58 dependent repositories - 20.4 thousand downloads total - 3 maintainers
hatt 1.4.0
Hatt is a command-line program which prints truth tables for expressions in classical proposition...16 versions - Latest release: over 14 years ago - 1 dependent repositories - 12.2 thousand downloads total - 1 maintainer
jukebox 0.5.9
51 versions - Latest release: 8 months ago - 1 dependent package - 1 dependent repositories - 29.4 thousand downloads total - 1 maintainerLogicGrowsOnTrees-network 1.0.0
6 versions - Latest release: over 12 years ago - 5.26 thousand downloads total - 1 maintainerPropLogic 0.9.0.4
5 versions - Latest release: about 14 years ago - 1 dependent repositories - 5.24 thousand downloads total - 1 maintainerg4ip 0.1.0.0
Package maintainers For package maintainers and hackage trustees Candidates Implementation...1 version - Latest release: about 9 years ago - 2 dependent repositories - 1.02 thousand downloads total - 3 stars on GitHub - 1 maintainer
minisat-solver 0.1
1 version - Latest release: over 9 years ago - 2 dependent repositories - 1.74 thousand downloads total - 1 maintainerunification-fd 0.12.0
Generic functions for single-sorted first-order structural unification (think of programming in P...16 versions - Latest release: over 1 year ago - 2 dependent packages - 34 dependent repositories - 11.3 thousand downloads total - 2 maintainers
smcdel 1.3.0
See README.md for references and documentation.4 versions - Latest release: about 2 years ago - 1 dependent package - 2 dependent repositories - 1.38 thousand downloads total - 49 stars on GitHub - 1 maintainer
hol 1.4
This package implements a higher order logic kernel with OpenTheory support.5 versions - Latest release: almost 4 years ago - 2.94 thousand downloads total - 1 maintainer
AC-Boolean 1.1.0
2 versions - Latest release: over 15 years ago - 3.28 thousand downloads total - 1 maintainerpseudo-boolean 0.1.12.0
Reading/Writing OPB/WBO files used in pseudo boolean competition14 versions - Latest release: about 1 year ago - 1 dependent repositories - 9.39 thousand downloads total - 3 stars on GitHub - 1 maintainer
judge 0.1.3.0
An implementation of a decision procedure for classical propositional logic and justification logic.2 versions - Latest release: about 8 years ago - 1 dependent repositories - 1.27 thousand downloads total - 1 stars on GitHub - 1 maintainer
satchmo 2.9.9
SAT encoder27 versions - Latest release: almost 11 years ago - 7 dependent repositories - 16.7 thousand downloads total - 4 stars on GitHub - 1 maintainer
obdd 0.9.0
pure Haskell implementation of reduced ordered binary decision diagrams15 versions - Latest release: about 2 years ago - 2 dependent repositories - 10.9 thousand downloads total - 11 stars on GitHub - 1 maintainer
RSolve 2.0.0.0
A general solver for equations3 versions - Latest release: almost 7 years ago - 1 dependent repositories - 1.79 thousand downloads total - 19 stars on GitHub - 1 maintainer
tpdb 2.8.6
parser and prettyprinter for TPDB syntax (termination problem data base)32 versions - Latest release: 10 months ago - 1 dependent package - 2 dependent repositories - 16 thousand downloads total - 2 stars on GitHub - 1 maintainer
ersatz-toysat 0.2.2.0
toysat driver as backend for ersatz3 versions - Latest release: over 8 years ago - 2.9 thousand downloads total - 2 stars on GitHub - 1 maintainer
structural-induction 0.1.2
SII: Structural Induction Instantiator over any strictly-positive algebraic data type.6 versions - Latest release: over 11 years ago - 3 dependent repositories - 4.74 thousand downloads total - 4 stars on GitHub - 1 maintainer
g4ip-prover 2.0.0.0
Theorem prover for intuitionistic propositional logic using G4ip3 versions - Latest release: over 7 years ago - 1 dependent repositories - 2.3 thousand downloads total - 7 stars on GitHub - 1 maintainer
hout 0.1.0.0
Hout is an in-Haskell non-interactive proof assistant for intuitionistic first-order logic, using...1 version - Latest release: about 6 years ago - 441 downloads total - 38 stars on GitHub - 1 maintainer
hypertypes 0.2.2 💰
Please see the README on GitHub at https://github.com/lamdu/hypertypes#readme3 versions - Latest release: almost 3 years ago - 1 dependent repositories - 540 downloads total - 125 stars on GitHub - 1 maintainer
minisat 0.1.4
5 versions - Latest release: 11 months ago - 2 dependent packages - 9 dependent repositories - 4.48 thousand downloads total - 1 maintainerpicologic 0.3.0
Symbolic logic expressions5 versions - Latest release: over 9 years ago - 2 dependent repositories - 3.93 thousand downloads total - 15 stars on GitHub - 1 maintainer
atp-haskell 1.14.3
Haskell version of the code from "Handbook of Practical Logic and Automated Reasoning"9 versions - Latest release: about 2 years ago - 3 dependent repositories - 4.55 thousand downloads total - 18 stars on GitHub - 1 maintainer
picosat 0.1.6
Haskell bindings for PicoSAT solver9 versions - Latest release: over 6 years ago - 1 dependent package - 19 dependent repositories - 7.05 thousand downloads total - 17 stars on GitHub - 1 maintainer
logic-classes 1.7.1
Framework for propositional and first order logic, theorem proving20 versions - Latest release: over 9 years ago - 1 dependent package - 14 thousand downloads total - 7 stars on GitHub - 1 maintainer
satchmo-toysat 0.2.1.0
toysat driver as backend for satchmo2 versions - Latest release: almost 11 years ago - 2.04 thousand downloads total - 2 stars on GitHub - 1 maintainer
LogicGrowsOnTrees 1.0.0
NOTE: In addition to the following package description, see TUTORIAL.md for a tutorial, USERS_...5 versions - Latest release: over 12 years ago - 1 dependent repositories - 5.35 thousand downloads total - 1 maintainer
hasmtlib 2.8.1
Hasmtlib is a library for generating SMTLib2-problems using a monad. It takes care of encoding yo...28 versions - Latest release: over 1 year ago - 1.21 thousand downloads total - 11 stars on GitHub - 1 maintainer
toysolver 0.9.0
Toy-level solver implementation of various problems including SAT, SMT, Max-SAT, PBSPBO (Pseudo B...16 versions - Latest release: over 1 year ago - 2 dependent repositories - 16.3 thousand downloads total - 158 stars on GitHub - 1 maintainer
decision-diagrams 0.2.0.0
Please see the README on GitHub at https://github.com/msakai/haskell-decision-diagrams#readme2 versions - Latest release: over 4 years ago - 1 dependent package - 1 dependent repositories - 608 downloads total - 13 stars on GitHub - 1 maintainer
cond 0.5.1
This library provides: Implementations of various overloaded conditional operations Lifted mona...13 versions - Latest release: over 2 years ago - 3 dependent packages - 146 dependent repositories - 15.8 thousand downloads total - 0 stars on GitHub - 2 maintainers
LogicGrowsOnTrees-processes 1.0.0
4 versions - Latest release: over 12 years ago - 3.68 thousand downloads total - 1 maintaineratp 0.1.0.0
Haskell interface to automated theorem provers1 version - Latest release: over 5 years ago - 1 dependent repositories - 248 downloads total - 9 stars on GitHub - 1 maintainer
term-rewriting 0.2.1
14 versions - Latest release: over 9 years ago - 1 dependent package - 3 dependent repositories - 9.21 thousand downloads total - 2 maintainersRelated Keywords
library
44
Propose Tags
44
bsd3
27
program
9
mit
8
gpl
8
theorem-provers
7
algorithms
7
haskell
6
data
5
control
5
parsing
4
parallelism
4
distributed-computing
4
math
4
formal-methods
3
theorem-proving
3
language
3
sat-solver
3
haskell-library
3
unification
3
time
2
streamly
2
streaming
2
automated-theorem-provers
2
compilers-interpreters
2
smt
2
constraints
2
optimisation
2
optimization
2
picosat
2
logic-programming
2
monad
2
tptp
2
array
2
dataflow
2
list
2
non-determinism
2
pipes
2
bioinformatics
1
prover
1
programming-language-development
1
programming-languages
1
type-checker
1
type-inference
1
first-order-logic
1
atp
1
zdd
1
binary-decision-diagrams
1
binary-decision-diagram
1
picosat-solver
1
bdd
1
data-structures
1
smt-lib2
1
theorem-prover
1
smt2
1
smtlib
1
smtlib2
1
mathematical-programming
1
smt-solver
1
automated-deduction
1
linear-logic
1
molecular-biology
1
pretty-printer
1
eprover
1
parsing-library
1
pretty-print
1
vampire
1
concurrency
1
filesystem
1
network
1
reactivity
1
unicode
1
algebra
1
epistemic-logic
1
model-checking
1
symbolic
1
pseudo-boolean
1
solvers
1
lgpl
1
type-system
1
curry-howard-isomorphism
1
proof-assistant
1