Packages tagged logic
43 packages have this tag.
[Merge tag] (trustees only)Related tags: library (43), bsd3 (27), program (9), mit (8), algorithms (7), gpl (7), theorem-provers (6), control (5), data (5), distributed-computing (4), math (4), parallelism (4), unification (3), array (2), compilers-interpreters (2), constraints (2), dataflow (2), formal-methods (2), language (2), list (2), non-determinism (2), optimisation (2), optimization (2), parsing (2), pipes (2), smt (2), ...
Name |
DLs |
Rating |
Rev Deps |
Description |
Tags |
Last U/L |
Last Version |
Maintainers |
|---|---|---|---|---|---|---|---|---|
| AC-Boolean | 9 | 0.0 | 1 | Handle Boolean values generatically. | (bsd3, data, library, logic, math) | 2010-11-09 | 1.1.0 | AndrewCoppin |
| LogicGrowsOnTrees | 19 | 0.0 | 4 | a parallel implementation of logic programming using distributed tree exploration | (bsd3, control, distributed-computing, library, logic, parallelism) | 2014-03-09 | 1.1.0.2 | GregoryCrosswhite |
| LogicGrowsOnTrees-MPI | 4 | 0.0 | 1 | an adapter for LogicGrowsOnTrees that uses MPI | (bsd3, control, distributed-computing, library, logic, parallelism) | 2014-03-09 | 1.0.0.1.1 | GregoryCrosswhite |
| LogicGrowsOnTrees-network | 6 | 0.0 | 1 | an adapter for LogicGrowsOnTrees that uses multiple processes running in a network | (bsd3, control, distributed-computing, library, logic, parallelism) | 2016-04-05 | 1.0.0.4 | GregoryCrosswhite |
| LogicGrowsOnTrees-processes | 3 | 0.0 | 1 | an adapter for LogicGrowsOnTrees that uses multiple processes for parallelism | (bsd3, control, distributed-computing, library, logic, parallelism) | 2014-03-09 | 1.0.0.2 | GregoryCrosswhite |
| PropLogic | 4 | 0.0 | 2 | Propositional Logic | (algorithms, bsd3, library, logic, program) | 2012-04-16 | 0.9.0.4 | DavidFox |
| RSolve | 5 | 2.0 | 0 | (library, logic, mit, program, unification) | 2019-08-05 | 2.0.0.0 | ice1000 | |
| atp | 4 | 0.0 | 0 | Interface to automated theorem provers | (formal-methods, gpl, library, logic, math, theorem-provers) | 2021-01-25 | 0.1.0.0 | EK |
| atp-haskell | 33 | 2.0 | 2 | Translation from Ocaml to Haskell of John Harrison's ATP code | (bsd3, library, logic, theorem-provers) | 2024-04-03 | 1.14.3 | DavidFox |
| cond | 31 | 2.0 | 18 | Basic conditional and boolean operators with monadic variants. | (bsd3, control, library, logic, monad) | 2023-11-19 | 0.5.1 | AdamCurtis, jcranch |
| decision-diagrams | 6 | 0.0 | 1 | Binary Decision Diagrams (BDD) and Zero-suppressed Binary Decision Diagrams (ZDD) | (bsd3, data, data-structures, library, logic) | 2021-11-25 | 0.2.0.0 | MasahiroSakai |
| ersatz | 155 | 2.0 | 4 | A monad for expressing SAT or QSAT problems using observable sharing. | (algorithms, bsd3, library, logic) | 2025-06-17 | 0.6 | EdwardKmett, EricMertens, ryanglscott |
| ersatz-toysat | 8 | 0.0 | 1 | toysat driver as backend for ersatz | (algorithms, bsd3, library, logic) | 2017-10-02 | 0.2.2.0 | MasahiroSakai |
| expressions | 34 | 1.5 | 1 | Expressions and Formulae a la carte | (bsd3, data, library, logic, math) | 2019-04-30 | 0.5 | jakubdaniel |
| expressions-z3 | 7 | 0.0 | 1 | Encode and Decode expressions from Z3 ASTs | (bsd3, data, library, logic, math) | 2019-04-30 | 0.5 | jakubdaniel |
| g4ip | 3 | 0.0 | 1 | A theorem prover for propositional logic that uses G4ip | (library, logic, mit) | 2017-03-20 | 0.1.0.0 | cacay |
| g4ip-prover | 10 | 0.0 | 1 | Theorem prover for intuitionistic propositional logic using G4ip | (library, logic, mit, program) | 2018-12-28 | 2.0.0.0 | klntsky |
| hasmtlib | 27 | 2.0 | 0 | A monad for interfacing with external SMT solvers | (gpl, library, logic, smt) | 2024-11-29 | 2.8.1 | bruderj15 |
| hatt | 33 | 0.0 | 1 | A truth table generator for classical propositional logic. | (bsd3, library, logic, program) | 2012-11-24 | 1.5.0.3 | BenedictEastaugh |
| hol | 20 | 0.0 | 1 | Higher order logic | (library, logic, mit, program) | 2022-08-08 | 1.4 | JoeHurd |
| hout | 3 | 0.0 | 0 | Non-interactive proof assistant monad for first-order logic. | (bsd3, library, logic, type-system) | 2020-04-11 | 0.1.0.0 | ivanbakel |
| hypertypes | 6 | 0.0 | 0 | Typed ASTs | (algorithms, bsd3, compilers-interpreters, language, library, logic, unification) | 2023-07-25 | 0.2.2 | YairChuchem |
| judge | 8 | 0.0 | 0 | Tableau-based theorem prover for justification logic. | (gpl, library, logic, program) | 2018-03-14 | 0.1.3.0 | slakkenhuis |
| jukebox | 114 | 2.0 | 1 | A first-order reasoning toolbox | (bsd3, library, logic, program) | 2025-09-15 | 0.5.9 | NickSmallbone |
| logic-classes | 41 | 0.0 | 1 | Framework for propositional and first order logic, theorem proving | (bsd3, library, logic, theorem-provers) | 2016-09-18 | 1.7.1 | DavidFox |
| minisat | 17 | 0.0 | 7 | A Haskell bundle of the Minisat SAT solver | (bsd3, library, logic) | 2025-07-12 | 0.1.4 | JeroenBransen |
| minisat-solver | 4 | 0.0 | 2 | High-level Haskell bindings for the MiniSat SAT solver. | (library, logic, mit) | 2016-10-24 | 0.1 | PeterSelinger |
| obdd | 35 | 0.0 | 1 | Ordered Reduced Binary Decision Diagrams | (gpl, library, logic) | 2024-03-15 | 0.9.0 | JohannesWaldmann |
| picologic | 8 | 0.0 | 1 | Utilities for symbolic predicate logic expressions | (library, logic, mit) | 2017-01-04 | 0.3.0 | sdiehl |
| picosat | 18 | 2.0 | 3 | Bindings to the PicoSAT solver | (library, logic, mit) | 2019-12-30 | 0.1.6 | sdiehl |
| pseudo-boolean | 46 | 0.0 | 1 | Reading/Writing OPB/WBO files used in pseudo boolean competition | (bsd3, constraints, data, library, logic, optimisation, optimization) | 2025-04-05 | 0.1.12.0 | MasahiroSakai |
| satchmo | 43 | 0.0 | 5 | SAT encoding monad | (gpl, library, logic) | 2025-02-24 | 2.9.9.5 | JohannesWaldmann |
| satchmo-toysat | 5 | 0.0 | 1 | toysat driver as backend for satchmo | (algorithms, bsd3, library, logic) | 2015-05-31 | 0.2.1.0 | MasahiroSakai |
| satplus | 5 | 0.0 | 0 | Useful functions when programming with a SAT-solver | (bsd3, library, logic) | 2026-05-19 | 0.1.0.0 | KoenClaessen |
| smcdel | 13 | 2.0 | 0 | Symbolic Model Checking for Dynamic Epistemic Logic | (gpl, library, logic) | 2024-04-24 | 1.3.0 | m4lvin |
| streamly | 100 | 2.5 | 42 | Streaming data pipelines with declarative concurrency | (array, bsd3, concurrency, dataflow, filesystem, library, list, logic, network, non-determinism, parsing, pipes, reactivity, streaming, streamly, time, unicode) | 2026-05-30 | 0.11.1 | harendra, pranaysashank, adithyaov |
| streamly-core | 26 | 2.0 | 36 | Streaming, parsers, arrays, serialization and more | (array, bsd3, dataflow, library, list, logic, non-determinism, parsing, pipes, streaming, streamly, time) | 2026-05-30 | 0.3.1 | harendra, adithyaov |
| structural-induction | 17 | 0.0 | 2 | Instantiate structural induction schemas for algebraic data types | (lgpl, library, logic, theorem-provers) | 2015-06-30 | 0.3 | DanRosen |
| term-rewriting | 55 | 2.25 | 2 | Term Rewriting Library | (library, logic, mit) | 2025-08-27 | 0.5 | BertramFelgenhauer, MartinAvanzini |
| toysolver | 75 | 0.0 | 4 | Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc | (algorithms, bsd3, constraints, formal-methods, library, logic, optimisation, optimization, program, smt, theorem-provers) | 2025-02-18 | 0.9.0 | MasahiroSakai |
| tpdb | 126 | 0.0 | 1 | Data Type for Rewriting Systems | (gpl, library, logic, program) | 2026-06-06 | 2.9.0 | JohannesWaldmann |
| unification-fd | 61 | 2.0 | 4 | Simple generic unification algorithms. | (algebra, algorithms, bsd3, compilers-interpreters, language, library, logic, unification) | 2026-02-27 | 0.12.0.3 | WrenThornton, WrenRomano |
| zsyntax | 3 | 0.0 | 0 | Automated theorem prover for the Zsyntax biochemical calculus | (bioinformatics, bsd3, library, logic, theorem-provers) | 2018-12-15 | 0.2.0.0 | fsestini |