Packages tagged logic

32 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (31), bsd3 (20), mit (7), program (7), algorithms (6), control (5), data (4), distributed-computing (4), gpl (4), parallelism (4), theorem-provers (4), benchmark (3), math (3), constraints (2), optimisation (2), ...

Last U/L
AC-Boolean220.0Handle Boolean values generatically. (bsd3, data, library, logic, math)2010-11-09AndrewCoppin
LogicGrowsOnTrees440.0a parallel implementation of logic programming using distributed tree exploration (benchmark, bsd3, control, distributed-computing, library, logic, parallelism)2014-03-09GregoryCrosswhite
LogicGrowsOnTrees-MPI250.0an adapter for LogicGrowsOnTrees that uses MPI (bsd3, control, distributed-computing, library, logic, parallelism)2014-03-09GregoryCrosswhite
LogicGrowsOnTrees-network710.0an adapter for LogicGrowsOnTrees that uses multiple processes running in a network (bsd3, control, distributed-computing, library, logic, parallelism)2016-04-05GregoryCrosswhite
LogicGrowsOnTrees-processes330.0an adapter for LogicGrowsOnTrees that uses multiple processes for parallelism (benchmark, bsd3, control, distributed-computing, library, logic, parallelism)2014-03-09GregoryCrosswhite
PropLogic420.0Propositional Logic (algorithms, bsd3, library, logic, program)2012-04-16DavidFox
atp-haskell490.0Translation from Ocaml to Haskell of John Harrison's ATP code (bsd3, library, logic, theorem-provers)2016-09-12DavidFox
cond1330.0Basic conditional and boolean operators with monadic variants. (bsd3, control, library, logic, monad)2014-11-23AdamCurtis
ersatz1352.0A monad for expressing SAT or QSAT problems using observable sharing. (algorithms, bsd3, library, logic)2018-01-18EdwardKmett, EricMertens, ryanglscott
ersatz-toysat160.0toysat driver as backend for ersatz (algorithms, bsd3, library, logic)2017-10-02MasahiroSakai
expressions591.5Expressions and Formulae a la carte (bsd3, data, library, logic, math)2018-02-10jakubdaniel
expressions-z3380.0Encode and Decode expressions from Z3 ASTs (bsd3, data, library, logic, math)2018-02-10jakubdaniel
g4ip70.0A theorem prover for propositional logic that uses G4ip (library, logic, mit)2017-03-20cacay
g4ip-prover130.0Theorem prover for intuitionistic propositional logic using G4ip (logic, mit, program)2017-12-04klntsky
hatt810.0A truth table generator for classical propositional logic. (bsd3, library, logic, program)2012-11-24BenedictEastaugh
hol230.0Higher order logic (library, logic, mit, program)2017-11-04JoeHurd
judge250.0Tableau-based theorem prover. (gpl, library, logic, program)2018-02-05slakkenhuis
jukebox2090.0A first-order reasoning toolbox (bsd3, library, logic, program)2018-02-07NickSmallbone
logic-classes1050.0Framework for propositional and first order logic, theorem proving (bsd3, library, logic, theorem-provers)2016-09-18DavidFox
minisat250.0A Haskell bundle of the Minisat SAT solver (bsd3, library, logic)2015-07-03JeroenBransen
minisat-solver90.0High-level Haskell bindings for the MiniSat SAT solver. (benchmark, library, logic, mit)2016-10-24PeterSelinger
obdd640.0Ordered Reduced Binary Decision Diagrams (gpl, library, logic)2016-12-29JohannesWaldmann
picologic390.0Utilities for symbolic predicate logic expressions (library, logic, mit)2017-01-04sdiehl
picosat442.0Bindings to the PicoSAT solver (library, logic, mit)2017-01-03sdiehl
pseudo-boolean490.0Reading/Writing OPB/WBO files used in pseudo boolean competition (bsd3, constraints, data, library, logic, optimisation, optimization)2017-09-02MasahiroSakai
satchmo1410.0SAT encoding monad (gpl, library, logic)2016-04-28JohannesWaldmann
satchmo-toysat120.0toysat driver as backend for satchmo (algorithms, bsd3, library, logic)2015-05-31MasahiroSakai
structural-induction400.0Instantiate structural induction schemas for algebraic data types (lgpl, library, logic, theorem-provers)2015-06-30DanRosen
term-rewriting412.0Term Rewriting Library (library, logic, mit)2017-02-21BertramFelgenhauer, MartinAvanzini
toysolver780.0Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc (algorithms, bsd3, constraints, formal-methods, library, logic, optimisation, optimization, program, theorem-provers)2017-10-09MasahiroSakai
tpdb840.0Data Type for Rewriting Systems (gpl, library, logic)2016-06-13JohannesWaldmann
unification-fd622.0Simple generic unification algorithms. (algebra, algorithms, bsd3, compilers-interpreters, language, library, logic, unification)2015-05-30WrenThornton