Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org "logic" keyword
smcdel 1.3.0
See README.md for references and documentation.4 versions - Latest release: 25 days ago - 1 dependent package - 2 dependent repositories - 1.16 thousand downloads total - 39 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 months ago - 3 dependent repositories - 4.18 thousand downloads total - 16 stars on GitHub - 1 maintainer
obdd 0.9.0
pure Haskell implementation of reduced ordered binary decision diagrams15 versions - Latest release: 2 months ago - 2 dependent repositories - 10.3 thousand downloads total - 11 stars on GitHub - 1 maintainer
pseudo-boolean 0.1.11.0
Reading/Writing OPB/WBO files used in pseudo boolean competition13 versions - Latest release: 2 months ago - 1 dependent repositories - 8.51 thousand downloads total - 3 stars on GitHub - 1 maintainer
jukebox 0.5.5
47 versions - Latest release: 3 months ago - 1 dependent package - 1 dependent repositories - 27.3 thousand downloads total - 1 maintainer
Top 5.8% on hackage.haskell.org
27 versions - Latest release: 4 months ago - 20 dependent packages - 58 dependent repositories - 17 thousand downloads total - 3 maintainers
streamly 0.10.1
For upgrading to streamly-0.9.0+ please read the Streamly-0.9.0 upgrade guide. Streamly is a sta...27 versions - Latest release: 4 months ago - 20 dependent packages - 58 dependent repositories - 17 thousand downloads total - 3 maintainers
streamly-core 0.2.2
4 versions - Latest release: 4 months ago - 14 dependent packages - 2 dependent repositories - 747 downloads total - 2 maintainerscond 0.5.1
This library provides: Implementations of various overloaded conditional operations Lifted mona...13 versions - Latest release: 6 months ago - 3 dependent packages - 146 dependent repositories - 14.8 thousand downloads total - 0 stars on GitHub - 2 maintainers
tpdb 2.7.2
parser and prettyprinter for TPDB syntax (termination problem data base)24 versions - Latest release: 7 months ago - 1 dependent package - 2 dependent repositories - 14.6 thousand downloads total - 1 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: 10 months ago - 1 dependent repositories - 368 downloads total - 106 stars on GitHub - 1 maintainer
Top 8.8% on hackage.haskell.org
27 versions - Latest release: over 1 year ago - 2 dependent packages - 118 dependent repositories - 18.6 thousand downloads total - 62 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...27 versions - Latest release: over 1 year ago - 2 dependent packages - 118 dependent repositories - 18.6 thousand downloads total - 62 stars on GitHub - 3 maintainers
toysolver 0.8.1
Toy-level solver implementation of various problems including SAT, SMT, Max-SAT, PBSPBO (Pseudo B...15 versions - Latest release: over 1 year ago - 2 dependent repositories - 15.1 thousand downloads total - 149 stars on GitHub - 1 maintainer
hol 1.4
This package implements a higher order logic kernel with OpenTheory support.5 versions - Latest release: almost 2 years ago - 2.69 thousand downloads total - 1 maintainer
unification-fd 0.11.2
Generic functions for single-sorted first-order structural unification (think of programming in P...11 versions - Latest release: almost 2 years ago - 2 dependent packages - 34 dependent repositories - 10.3 thousand downloads total - 2 maintainers
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 2 years ago - 1 dependent package - 1 dependent repositories - 445 downloads total - 13 stars on GitHub - 1 maintainer
minisat 0.1.3
4 versions - Latest release: about 3 years ago - 2 dependent packages - 9 dependent repositories - 4.17 thousand downloads total - 1 maintaineratp 0.1.0.0
Haskell interface to automated theorem provers1 version - Latest release: over 3 years ago - 1 dependent repositories - 176 downloads total - 6 stars on GitHub - 1 maintainer
tptp 0.1.3.0
Parser and pretty printer for the TPTP language7 versions - Latest release: over 3 years ago - 1 dependent repositories - 2.27 thousand downloads total - 6 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 4 years ago - 325 downloads total - 34 stars on GitHub - 1 maintainer
picosat 0.1.6
Haskell bindings for PicoSAT solver9 versions - Latest release: over 4 years ago - 1 dependent package - 19 dependent repositories - 6.58 thousand downloads total - 16 stars on GitHub - 1 maintainer
RSolve 2.0.0.0
A general solver for equations3 versions - Latest release: almost 5 years ago - 1 dependent repositories - 1.61 thousand downloads total - 19 stars on GitHub - 1 maintainer
g4ip-prover 2.0.0.0
Theorem prover for intuitionistic propositional logic using G4ip3 versions - Latest release: over 5 years ago - 1 dependent repositories - 2.1 thousand downloads total - 8 stars on GitHub - 1 maintainer
zsyntax 0.2.0.0
An automated theorem prover for Zsyntax, a logical calculus for molecular biology inspired by lin...1 version - Latest release: over 5 years ago - 1 dependent repositories - 510 downloads total - 11 stars on GitHub - 1 maintainer
expressions 0.4.2
16 versions - Latest release: over 5 years ago - 8.43 thousand downloads total - 1 maintainerexpressions-z3 0.1.6
11 versions - Latest release: almost 6 years ago - 5.69 thousand downloads total - 1 maintainerjudge 0.1.3.0
An implementation of a decision procedure for classical propositional logic and justification logic.2 versions - Latest release: about 6 years ago - 1 dependent repositories - 1.16 thousand downloads total - 1 stars on GitHub - 1 maintainer
ersatz-toysat 0.2.2.0
toysat driver as backend for ersatz3 versions - Latest release: over 6 years ago - 2.72 thousand downloads total - 2 stars on GitHub - 1 maintainer
g4ip 0.1.0.0
Package maintainers For package maintainers and hackage trustees Candidates Implementation...1 version - Latest release: about 7 years ago - 2 dependent repositories - 954 downloads total - 1 stars on GitHub - 1 maintainer
term-rewriting 0.2.1
13 versions - Latest release: about 7 years ago - 1 dependent package - 3 dependent repositories - 8.64 thousand downloads total - 2 maintainerspicologic 0.3.0
Symbolic logic expressions5 versions - Latest release: over 7 years ago - 2 dependent repositories - 3.71 thousand downloads total - 14 stars on GitHub - 1 maintainer
minisat-solver 0.1
1 version - Latest release: over 7 years ago - 2 dependent repositories - 1.49 thousand downloads total - 1 maintainerlogic-classes 1.7.1
Framework for propositional and first order logic, theorem proving20 versions - Latest release: over 7 years ago - 1 dependent package - 13.2 thousand downloads total - 7 stars on GitHub - 1 maintainer
satchmo 2.9.9
SAT encoder26 versions - Latest release: almost 9 years ago - 7 dependent repositories - 15.5 thousand downloads total - 4 stars on GitHub - 1 maintainer
satchmo-toysat 0.2.1.0
toysat driver as backend for satchmo2 versions - Latest release: almost 9 years ago - 1.93 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 9 years ago - 3 dependent repositories - 4.46 thousand downloads total - 4 stars on GitHub - 1 maintainer
LogicGrowsOnTrees-MPI 1.0.0
3 versions - Latest release: over 10 years ago - 1 dependent repositories - 2.76 thousand downloads total - 1 maintainerLogicGrowsOnTrees-network 1.0.0
6 versions - Latest release: over 10 years ago - 4.96 thousand downloads total - 1 maintainerLogicGrowsOnTrees-processes 1.0.0
4 versions - Latest release: over 10 years ago - 3.51 thousand downloads total - 1 maintainerLogicGrowsOnTrees 1.0.0
NOTE: In addition to the following package description, see TUTORIAL.md for a tutorial, USERS_...5 versions - Latest release: over 10 years ago - 1 dependent repositories - 5.12 thousand downloads total - 1 maintainer
PropLogic 0.9.0.4
5 versions - Latest release: about 12 years ago - 1 dependent repositories - 5.02 thousand downloads total - 1 maintainerhatt 1.4.0
Hatt is a command-line program which prints truth tables for expressions in classical proposition...16 versions - Latest release: over 12 years ago - 1 dependent repositories - 11.5 thousand downloads total - 1 maintainer
AC-Boolean 1.1.0
2 versions - Latest release: over 13 years ago - 3.12 thousand downloads total - 1 maintainer
Related Keywords
library
42
bsd3
26
program
10
mit
8
gpl
7
theorem-provers
7
algorithms
7
haskell
6
data
5
control
5
parallelism
4
distributed-computing
4
math
4
parsing
4
formal-methods
4
haskell-library
3
theorem-proving
3
sat-solver
3
unification
3
language
3
picosat
2
logic-programming
2
tptp
2
automated-theorem-provers
2
compilers-interpreters
2
constraints
2
monad
2
optimisation
2
optimization
2
array
2
dataflow
2
list
2
non-determinism
2
pipes
2
streamly
2
streaming
2
time
2
reactivity
1
pretty-printer
1
eprover
1
concurrency
1
parsing-library
1
pretty-print
1
vampire
1
type-system
1
curry-howard-isomorphism
1
proof-assistant
1
pseudo-boolean
1
picosat-solver
1
solvers
1
bioinformatics
1
automated-deduction
1
linear-logic
1
molecular-biology
1
lgpl
1
epistemic-logic
1
unicode
1
programming-language-development
1
programming-languages
1
type-checker
1
type-inference
1
smt
1
mathematical-programming
1
network
1
smt-solver
1
theorem-prover
1
symbolic
1
algebra
1
data-structures
1
bdd
1
binary-decision-diagram
1
binary-decision-diagrams
1
zdd
1
model-checking
1
atp
1
first-order-logic
1
prover
1
filesystem
1