Packages tagged logic

42 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (42), bsd3 (26), 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-Boolean50.01Handle Boolean values generatically. (bsd3, data, library, logic, math)2010-11-091.1.0AndrewCoppin
LogicGrowsOnTrees110.04a parallel implementation of logic programming using distributed tree exploration (bsd3, control, distributed-computing, library, logic, parallelism)2014-03-091.1.0.2GregoryCrosswhite
LogicGrowsOnTrees-MPI60.01an adapter for LogicGrowsOnTrees that uses MPI (bsd3, control, distributed-computing, library, logic, parallelism)2014-03-091.0.0.1.1GregoryCrosswhite
LogicGrowsOnTrees-network140.01an adapter for LogicGrowsOnTrees that uses multiple processes running in a network (bsd3, control, distributed-computing, library, logic, parallelism)2016-04-051.0.0.4GregoryCrosswhite
LogicGrowsOnTrees-processes110.01an adapter for LogicGrowsOnTrees that uses multiple processes for parallelism (bsd3, control, distributed-computing, library, logic, parallelism)2014-03-091.0.0.2GregoryCrosswhite
PropLogic110.02Propositional Logic (algorithms, bsd3, library, logic, program)2012-04-160.9.0.4DavidFox
RSolve92.00 (library, logic, mit, program, unification)2019-08-052.0.0.0ice1000
atp30.00Interface to automated theorem provers (formal-methods, gpl, library, logic, math, theorem-provers)2021-01-250.1.0.0EK
atp-haskell162.02Translation from Ocaml to Haskell of John Harrison's ATP code (bsd3, library, logic, theorem-provers)2024-04-031.14.3DavidFox
cond592.017Basic conditional and boolean operators with monadic variants. (bsd3, control, library, logic, monad)2023-11-190.5.1AdamCurtis, jcranch
decision-diagrams80.01Binary Decision Diagrams (BDD) and Zero-suppressed Binary Decision Diagrams (ZDD) (bsd3, data, data-structures, library, logic)2021-11-250.2.0.0MasahiroSakai
ersatz732.03A monad for expressing SAT or QSAT problems using observable sharing. (algorithms, bsd3, library, logic)2023-09-180.5EdwardKmett, EricMertens, ryanglscott
ersatz-toysat50.01toysat driver as backend for ersatz (algorithms, bsd3, library, logic)2017-10-020.2.2.0MasahiroSakai
expressions261.51Expressions and Formulae a la carte (bsd3, data, library, logic, math)2019-04-300.5jakubdaniel
expressions-z3130.01Encode and Decode expressions from Z3 ASTs (bsd3, data, library, logic, math)2019-04-300.5jakubdaniel
g4ip10.01A theorem prover for propositional logic that uses G4ip (library, logic, mit)2017-03-200.1.0.0cacay
g4ip-prover90.01Theorem prover for intuitionistic propositional logic using G4ip (library, logic, mit, program)2018-12-282.0.0.0klntsky
hasmtlib432.00A monad for interfacing with external SMT solvers (gpl, library, logic, smt)2024-10-052.7.1bruderj15
hatt480.01A truth table generator for classical propositional logic. (bsd3, library, logic, program)2012-11-241.5.0.3BenedictEastaugh
hol60.01Higher order logic (library, logic, mit, program)2022-08-081.4JoeHurd
hout50.00Non-interactive proof assistant monad for first-order logic. (bsd3, library, logic, type-system)2020-04-110.1.0.0ivanbakel
hypertypes50.00Typed ASTs (algorithms, bsd3, compilers-interpreters, language, library, logic, unification)2023-07-250.2.2YairChuchem
judge30.00Tableau-based theorem prover for justification logic. (gpl, library, logic, program)2018-03-140.1.3.0slakkenhuis
jukebox632.01A first-order reasoning toolbox (bsd3, library, logic, program)2024-02-270.5.5NickSmallbone
logic-classes440.01Framework for propositional and first order logic, theorem proving (bsd3, library, logic, theorem-provers)2016-09-181.7.1DavidFox
minisat140.06A Haskell bundle of the Minisat SAT solver (bsd3, library, logic)2021-02-230.1.3JeroenBransen
minisat-solver240.02High-level Haskell bindings for the MiniSat SAT solver. (library, logic, mit)2016-10-240.1PeterSelinger
obdd210.01Ordered Reduced Binary Decision Diagrams (gpl, library, logic)2024-03-150.9.0JohannesWaldmann
picologic140.01Utilities for symbolic predicate logic expressions (library, logic, mit)2017-01-040.3.0sdiehl
picosat242.03Bindings to the PicoSAT solver (library, logic, mit)2019-12-300.1.6sdiehl
pseudo-boolean420.01Reading/Writing OPB/WBO files used in pseudo boolean competition (bsd3, constraints, data, library, logic, optimisation, optimization)2024-03-140.1.11.0MasahiroSakai
satchmo310.05SAT encoding monad (gpl, library, logic)2022-08-302.9.9.4JohannesWaldmann
satchmo-toysat60.01toysat driver as backend for satchmo (algorithms, bsd3, library, logic)2015-05-310.2.1.0MasahiroSakai
smcdel92.00Symbolic Model Checking for Dynamic Epistemic Logic (gpl, library, logic)2024-04-241.3.0m4lvin
streamly1712.533Streaming, dataflow programming and declarative concurrency (array, bsd3, concurrency, dataflow, filesystem, library, list, logic, network, non-determinism, parsing, pipes, reactivity, streaming, streamly, time, unicode)2024-01-180.10.1harendra, pranaysashank, adithyaov
streamly-core602.015Streaming, parsers, arrays, serialization and more (array, bsd3, dataflow, library, list, logic, non-determinism, parsing, pipes, streaming, streamly, time)2024-01-180.2.2harendra, adithyaov
structural-induction100.02Instantiate structural induction schemas for algebraic data types (lgpl, library, logic, theorem-provers)2015-06-300.3DanRosen
term-rewriting332.252Term Rewriting Library (library, logic, mit)2019-09-020.4.0.2BertramFelgenhauer, MartinAvanzini
toysolver310.04Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc (algorithms, bsd3, constraints, formal-methods, library, logic, optimisation, optimization, program, smt, theorem-provers)2022-09-170.8.1MasahiroSakai
tpdb330.01Data Type for Rewriting Systems (gpl, library, logic, program)2023-10-112.7.2JohannesWaldmann
unification-fd532.04Simple generic unification algorithms. (algebra, algorithms, bsd3, compilers-interpreters, language, library, logic, unification)2024-08-280.11.2.2WrenThornton, WrenRomano
zsyntax20.00Automated theorem prover for the Zsyntax biochemical calculus (bioinformatics, bsd3, library, logic, theorem-provers)2018-12-150.2.0.0fsestini