Packages tagged logic
40 packages have this tag.
[Merge tag] (trustees only)Related tags: library (40), bsd3 (25), program (10), mit (8), algorithms (7), theorem-provers (6), control (5), data (5), distributed-computing (4), gpl (4), math (4), parallelism (4), unification (3), compilers-interpreters (2), constraints (2), formal-methods (2), language (2), optimisation (2), optimization (2), algebra (1), array (1), bioinformatics (1), concurrency (1), data-structures (1), dataflow (1), filesystem (1), ...
Name |
DLs |
Rating |
Description |
Tags |
Last U/L |
Maintainer |
---|---|---|---|---|---|---|
AC-Boolean | 17 | 0.0 | Handle Boolean values generatically. | (bsd3, data, library, logic, math) | 2010-11-09 | AndrewCoppin |
LogicGrowsOnTrees | 8 | 0.0 | a parallel implementation of logic programming using distributed tree exploration | (bsd3, control, distributed-computing, library, logic, parallelism) | 2014-03-09 | GregoryCrosswhite |
LogicGrowsOnTrees-MPI | 8 | 0.0 | an adapter for LogicGrowsOnTrees that uses MPI | (bsd3, control, distributed-computing, library, logic, parallelism) | 2014-03-09 | GregoryCrosswhite |
LogicGrowsOnTrees-network | 3 | 0.0 | an adapter for LogicGrowsOnTrees that uses multiple processes running in a network | (bsd3, control, distributed-computing, library, logic, parallelism) | 2016-04-05 | GregoryCrosswhite |
LogicGrowsOnTrees-processes | 2 | 0.0 | an adapter for LogicGrowsOnTrees that uses multiple processes for parallelism | (bsd3, control, distributed-computing, library, logic, parallelism) | 2014-03-09 | GregoryCrosswhite |
PropLogic | 12 | 0.0 | Propositional Logic | (algorithms, bsd3, library, logic, program) | 2012-04-16 | DavidFox |
RSolve | 15 | 2.0 | (library, logic, mit, program, unification) | 2019-08-05 | ice1000 | |
atp | 6 | 0.0 | Interface to automated theorem provers | (formal-methods, gpl, library, logic, math, theorem-provers) | 2021-01-25 | EK |
atp-haskell | 16 | 0.0 | Translation from Ocaml to Haskell of John Harrison's ATP code | (bsd3, library, logic, theorem-provers) | 2016-09-12 | DavidFox |
cond | 33 | 0.0 | Basic conditional and boolean operators with monadic variants. | (bsd3, control, library, logic, monad) | 2014-11-23 | AdamCurtis |
decision-diagrams | 7 | 0.0 | Binary Decision Diagrams (BDD) and Zero-suppressed Binary Decision Diagrams (ZDD) | (bsd3, data, data-structures, library, logic) | 2021-11-25 | MasahiroSakai |
ersatz | 60 | 2.0 | A monad for expressing SAT or QSAT problems using observable sharing. | (algorithms, bsd3, library, logic) | 2022-05-18 | EdwardKmett, EricMertens, ryanglscott |
ersatz-toysat | 11 | 0.0 | toysat driver as backend for ersatz | (algorithms, bsd3, library, logic) | 2017-10-02 | MasahiroSakai |
expressions | 37 | 1.5 | Expressions and Formulae a la carte | (bsd3, data, library, logic, math) | 2019-04-30 | jakubdaniel |
expressions-z3 | 21 | 0.0 | Encode and Decode expressions from Z3 ASTs | (bsd3, data, library, logic, math) | 2019-04-30 | jakubdaniel |
g4ip | 6 | 0.0 | A theorem prover for propositional logic that uses G4ip | (library, logic, mit) | 2017-03-20 | cacay |
g4ip-prover | 14 | 0.0 | Theorem prover for intuitionistic propositional logic using G4ip | (library, logic, mit, program) | 2018-12-28 | klntsky |
hatt | 23 | 0.0 | A truth table generator for classical propositional logic. | (bsd3, library, logic, program) | 2012-11-24 | BenedictEastaugh |
hol | 2 | 0.0 | Higher order logic | (library, logic, mit, program) | 2017-11-04 | JoeHurd |
hout | 5 | 0.0 | Non-interactive proof assistant monad for first-order logic. | (bsd3, library, logic, type-system) | 2020-04-11 | ivanbakel |
hypertypes | 6 | 0.0 | Typed ASTs | (algorithms, bsd3, compilers-interpreters, language, library, logic, unification) | 2021-06-23 | YairChuchem |
judge | 8 | 0.0 | Tableau-based theorem prover for justification logic. | (gpl, library, logic, program) | 2018-03-14 | slakkenhuis |
jukebox | 96 | 2.0 | A first-order reasoning toolbox | (bsd3, library, logic, program) | 2021-06-22 | NickSmallbone |
logic-classes | 44 | 0.0 | Framework for propositional and first order logic, theorem proving | (bsd3, library, logic, theorem-provers) | 2016-09-18 | DavidFox |
minisat | 28 | 0.0 | A Haskell bundle of the Minisat SAT solver | (bsd3, library, logic) | 2021-02-23 | JeroenBransen |
minisat-solver | 16 | 0.0 | High-level Haskell bindings for the MiniSat SAT solver. | (library, logic, mit) | 2016-10-24 | PeterSelinger |
obdd | 7 | 0.0 | Ordered Reduced Binary Decision Diagrams | (library, logic) | 2022-03-25 | JohannesWaldmann |
picologic | 19 | 0.0 | Utilities for symbolic predicate logic expressions | (library, logic, mit) | 2017-01-04 | sdiehl |
picosat | 39 | 2.0 | Bindings to the PicoSAT solver | (library, logic, mit) | 2019-12-30 | sdiehl |
pseudo-boolean | 31 | 0.0 | Reading/Writing OPB/WBO files used in pseudo boolean competition | (bsd3, constraints, data, library, logic, optimisation, optimization) | 2021-05-10 | MasahiroSakai |
satchmo | 62 | 0.0 | SAT encoding monad | (library, logic) | 2016-04-28 | JohannesWaldmann |
satchmo-toysat | 4 | 0.0 | toysat driver as backend for satchmo | (algorithms, bsd3, library, logic) | 2015-05-31 | MasahiroSakai |
smcdel | 12 | 0.0 | Symbolic Model Checking for Dynamic Epistemic Logic | (gpl, library, logic, program) | 2022-02-22 | m4lvin |
streamly | 205 | 2.5 | Dataflow programming and declarative concurrency | (array, bsd3, concurrency, dataflow, filesystem, library, list, logic, network, non-determinism, parsing, pipes, reactivity, streaming, streamly, time, unicode) | 2022-03-03 | harendra, pranaysashank, adithyaov |
structural-induction | 26 | 0.0 | Instantiate structural induction schemas for algebraic data types | (lgpl, library, logic, theorem-provers) | 2015-06-30 | DanRosen |
term-rewriting | 61 | 2.25 | Term Rewriting Library | (library, logic, mit) | 2019-09-02 | BertramFelgenhauer, MartinAvanzini |
toysolver | 380 | 0.0 | Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc | (algorithms, bsd3, constraints, formal-methods, library, logic, optimisation, optimization, program, smt, theorem-provers) | 2021-02-10 | MasahiroSakai |
tpdb | 5 | 0.0 | Data Type for Rewriting Systems | (gpl, library, logic, program) | 2022-02-21 | JohannesWaldmann |
unification-fd | 65 | 2.0 | Simple generic unification algorithms. | (algebra, algorithms, bsd3, compilers-interpreters, language, library, logic, unification) | 2021-02-25 | WrenThornton, WrenRomano |
zsyntax | 5 | 0.0 | Automated theorem prover for the Zsyntax biochemical calculus | (bioinformatics, bsd3, library, logic, theorem-provers) | 2018-12-15 | fsestini |