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), gpl (5), distributed-computing (4), math (4), parallelism (4), formal-methods (3), unification (3), compilers-interpreters (2), constraints (2), language (2), optimisation (2), optimization (2), algebra (1), array (1), bioinformatics (1), concurrency (1), data-structures (1), dataflow (1), filesystem (1), lgpl (1), ...

Last U/L
AC-Boolean80.0Handle Boolean values generatically. (bsd3, data, library, logic, math)2010-11-09AndrewCoppin
LogicGrowsOnTrees80.0a parallel implementation of logic programming using distributed tree exploration (bsd3, control, distributed-computing, library, logic, parallelism)2014-03-09GregoryCrosswhite
LogicGrowsOnTrees-MPI90.0an adapter for LogicGrowsOnTrees that uses MPI (bsd3, control, distributed-computing, library, logic, parallelism)2014-03-09GregoryCrosswhite
LogicGrowsOnTrees-network90.0an adapter for LogicGrowsOnTrees that uses multiple processes running in a network (bsd3, control, distributed-computing, library, logic, parallelism)2016-04-05GregoryCrosswhite
LogicGrowsOnTrees-processes60.0an adapter for LogicGrowsOnTrees that uses multiple processes for parallelism (bsd3, control, distributed-computing, library, logic, parallelism)2014-03-09GregoryCrosswhite
PropLogic80.0Propositional Logic (algorithms, bsd3, library, logic, program)2012-04-16DavidFox
RSolve102.0 (library, logic, mit, program, unification)2019-08-05ice1000
atp10.0Interface to automated theorem provers (formal-methods, gpl, library, logic, math, theorem-provers)2021-01-25EK
atp-haskell120.0Translation from Ocaml to Haskell of John Harrison's ATP code (bsd3, library, logic, theorem-provers)2016-09-12DavidFox
cond480.0Basic conditional and boolean operators with monadic variants. (bsd3, control, library, logic, monad)2014-11-23AdamCurtis
decision-diagrams90.0Binary Decision Diagrams (BDD) and Zero-suppressed Binary Decision Diagrams (ZDD) (bsd3, data, data-structures, library, logic)2021-11-25MasahiroSakai
ersatz692.0A monad for expressing SAT or QSAT problems using observable sharing. (algorithms, bsd3, library, logic)2022-08-11EdwardKmett, EricMertens, ryanglscott
ersatz-toysat100.0toysat driver as backend for ersatz (algorithms, bsd3, library, logic)2017-10-02MasahiroSakai
expressions371.5Expressions and Formulae a la carte (bsd3, data, library, logic, math)2019-04-30jakubdaniel
expressions-z3260.0Encode and Decode expressions from Z3 ASTs (bsd3, data, library, logic, math)2019-04-30jakubdaniel
g4ip20.0A theorem prover for propositional logic that uses G4ip (library, logic, mit)2017-03-20cacay
g4ip-prover90.0Theorem prover for intuitionistic propositional logic using G4ip (library, logic, mit, program)2018-12-28klntsky
hatt350.0A truth table generator for classical propositional logic. (bsd3, library, logic, program)2012-11-24BenedictEastaugh
hol120.0Higher order logic (library, logic, mit, program)2022-08-08JoeHurd
hout50.0Non-interactive proof assistant monad for first-order logic. (bsd3, library, logic, type-system)2020-04-11ivanbakel
hypertypes60.0Typed ASTs (algorithms, bsd3, compilers-interpreters, language, library, logic, unification)2021-06-23YairChuchem
judge40.0Tableau-based theorem prover for justification logic. (gpl, library, logic, program)2018-03-14slakkenhuis
jukebox1102.0A first-order reasoning toolbox (bsd3, library, logic, program)2021-06-22NickSmallbone
logic-classes430.0Framework for propositional and first order logic, theorem proving (bsd3, library, logic, theorem-provers)2016-09-18DavidFox
minisat200.0A Haskell bundle of the Minisat SAT solver (bsd3, library, logic)2021-02-23JeroenBransen
minisat-solver160.0High-level Haskell bindings for the MiniSat SAT solver. (library, logic, mit)2016-10-24PeterSelinger
obdd320.0Ordered Reduced Binary Decision Diagrams (library, logic)2022-03-25JohannesWaldmann
picologic160.0Utilities for symbolic predicate logic expressions (library, logic, mit)2017-01-04sdiehl
picosat292.0Bindings to the PicoSAT solver (library, logic, mit)2019-12-30sdiehl
pseudo-boolean430.0Reading/Writing OPB/WBO files used in pseudo boolean competition (bsd3, constraints, data, library, logic, optimisation, optimization)2021-05-10MasahiroSakai
satchmo650.0SAT encoding monad (gpl, library, logic)2022-08-30JohannesWaldmann
satchmo-toysat30.0toysat driver as backend for satchmo (algorithms, bsd3, library, logic)2015-05-31MasahiroSakai
smcdel120.0Symbolic Model Checking for Dynamic Epistemic Logic (formal-methods, gpl, library, logic, program, symbolic-computation)2022-02-22m4lvin
streamly1852.5Dataflow programming and declarative concurrency (array, bsd3, concurrency, dataflow, filesystem, library, list, logic, network, non-determinism, parsing, pipes, reactivity, streaming, streamly, time, unicode)2022-09-13harendra, pranaysashank, adithyaov
structural-induction130.0Instantiate structural induction schemas for algebraic data types (lgpl, library, logic, theorem-provers)2015-06-30DanRosen
term-rewriting542.25Term Rewriting Library (library, logic, mit)2019-09-02BertramFelgenhauer, MartinAvanzini
toysolver550.0Assorted 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-17MasahiroSakai
tpdb440.0Data Type for Rewriting Systems (gpl, library, logic, program)2022-02-21JohannesWaldmann
unification-fd602.0Simple generic unification algorithms. (algebra, algorithms, bsd3, compilers-interpreters, language, library, logic, unification)2022-05-26WrenThornton, WrenRomano
zsyntax50.0Automated theorem prover for the Zsyntax biochemical calculus (bioinformatics, bsd3, library, logic, theorem-provers)2018-12-15fsestini