Packages tagged logic

31 packages have this tag.

[Merge tag] (trustees only)

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

AC-Boolean110.0Handle Boolean values generatically. (bsd3, data, library, logic, math)AndrewCoppin
LogicGrowsOnTrees60.0a parallel implementation of logic programming using distributed tree exploration (benchmark, bsd3, control, distributed-computing, library, logic, parallelism)GregoryCrosswhite
LogicGrowsOnTrees-MPI30.0an adapter for LogicGrowsOnTrees that uses MPI (bsd3, control, distributed-computing, library, logic, parallelism)GregoryCrosswhite
LogicGrowsOnTrees-network60.0an adapter for LogicGrowsOnTrees that uses multiple processes running in a network (bsd3, control, distributed-computing, library, logic, parallelism)GregoryCrosswhite
LogicGrowsOnTrees-processes70.0an adapter for LogicGrowsOnTrees that uses multiple processes for parallelism (benchmark, bsd3, control, distributed-computing, library, logic, parallelism)GregoryCrosswhite
PropLogic90.0Propositional Logic (algorithms, bsd3, library, logic, program)DavidFox
atp-haskell100.0Translation from Ocaml to Haskell of John Harrison's ATP code (bsd3, library, logic, theorem-provers)DavidFox
cond380.0Basic conditional and boolean operators with monadic variants. (bsd3, control, library, logic, monad)AdamCurtis
ersatz292.0A monad for expressing SAT or QSAT problems using observable sharing. (algorithms, bsd3, library, logic)EdwardKmett, EricMertens, ryanglscott
ersatz-toysat30.0toysat driver as backend for ersatz (algorithms, bsd3, library, logic)MasahiroSakai
expressions361.5Expressions and Formulae a la carte (bsd3, data, library, logic, math)jakubdaniel
expressions-z3130.0Encode and Decode expressions from Z3 ASTs (bsd3, data, library, logic, math)
g4ip20.0A theorem prover for propositional logic that uses G4ip (library, logic, mit)cacay
g4ip-prover120.0Theorem prover for intuitionistic propositional logic using G4ip (logic, mit, program)klntsky
hatt270.0A truth table generator for classical propositional logic. (bsd3, library, logic, program)BenedictEastaugh
hol380.0Higher order logic (benchmark, library, logic, mit)JoeHurd
jukebox970.0A first-order reasoning toolbox (bsd3, library, logic, program)NickSmallbone
logic-classes220.0Framework for propositional and first order logic, theorem proving (bsd3, library, logic, theorem-provers)DavidFox
minisat60.0A Haskell bundle of the Minisat SAT solver (bsd3, library, logic)JeroenBransen
minisat-solver50.0High-level Haskell bindings for the MiniSat SAT solver. (benchmark, library, logic, mit)PeterSelinger
obdd160.0Ordered Reduced Binary Decision Diagrams (gpl, library, logic)JohannesWaldmann
picologic80.0Utilities for symbolic predicate logic expressions (library, logic, mit)sdiehl
picosat142.0Bindings to the PicoSAT solver (library, logic, mit)sdiehl
pseudo-boolean640.0Reading/Writing OPB/WBO files used in pseudo boolean competition (bsd3, constraints, data, library, logic, optimisation, optimization)MasahiroSakai
satchmo370.0SAT encoding monad (gpl, library, logic)JohannesWaldmann
satchmo-toysat20.0toysat driver as backend for satchmo (algorithms, bsd3, library, logic)MasahiroSakai
structural-induction100.0Instantiate structural induction schemas for algebraic data types (lgpl, library, logic, theorem-provers)DanRosen
term-rewriting132.0Term Rewriting Library (library, logic, mit)BertramFelgenhauer, MartinAvanzini
toysolver160.0Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc (algorithms, benchmark, bsd3, constraints, library, logic, optimisation, optimization, program, theorem-provers)MasahiroSakai
tpdb230.0Data Type for Rewriting Systems (gpl, library, logic)JohannesWaldmann
unification-fd162.0Simple generic unification algorithms. (algebra, algorithms, bsd3, compilers-interpreters, language, library, logic, unification)WrenThornton