## 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), ...

Name |
DLs |
Rating |
Description |
Tags |
Maintainer |
---|---|---|---|---|---|

AC-Boolean | 11 | 0.0 | Handle Boolean values generatically. | (bsd3, data, library, logic, math) | AndrewCoppin |

LogicGrowsOnTrees | 6 | 0.0 | a parallel implementation of logic programming using distributed tree exploration | (benchmark, bsd3, control, distributed-computing, library, logic, parallelism) | GregoryCrosswhite |

LogicGrowsOnTrees-MPI | 3 | 0.0 | an adapter for LogicGrowsOnTrees that uses MPI | (bsd3, control, distributed-computing, library, logic, parallelism) | GregoryCrosswhite |

LogicGrowsOnTrees-network | 6 | 0.0 | an adapter for LogicGrowsOnTrees that uses multiple processes running in a network | (bsd3, control, distributed-computing, library, logic, parallelism) | GregoryCrosswhite |

LogicGrowsOnTrees-processes | 7 | 0.0 | an adapter for LogicGrowsOnTrees that uses multiple processes for parallelism | (benchmark, bsd3, control, distributed-computing, library, logic, parallelism) | GregoryCrosswhite |

PropLogic | 9 | 0.0 | Propositional Logic | (algorithms, bsd3, library, logic, program) | DavidFox |

atp-haskell | 10 | 0.0 | Translation from Ocaml to Haskell of John Harrison's ATP code | (bsd3, library, logic, theorem-provers) | DavidFox |

cond | 38 | 0.0 | Basic conditional and boolean operators with monadic variants. | (bsd3, control, library, logic, monad) | AdamCurtis |

ersatz | 29 | 2.0 | A monad for expressing SAT or QSAT problems using observable sharing. | (algorithms, bsd3, library, logic) | EdwardKmett, EricMertens, ryanglscott |

ersatz-toysat | 3 | 0.0 | toysat driver as backend for ersatz | (algorithms, bsd3, library, logic) | MasahiroSakai |

expressions | 36 | 1.5 | Expressions and Formulae a la carte | (bsd3, data, library, logic, math) | jakubdaniel |

expressions-z3 | 13 | 0.0 | Encode and Decode expressions from Z3 ASTs | (bsd3, data, library, logic, math) | |

g4ip | 2 | 0.0 | A theorem prover for propositional logic that uses G4ip | (library, logic, mit) | cacay |

g4ip-prover | 12 | 0.0 | Theorem prover for intuitionistic propositional logic using G4ip | (logic, mit, program) | klntsky |

hatt | 27 | 0.0 | A truth table generator for classical propositional logic. | (bsd3, library, logic, program) | BenedictEastaugh |

hol | 38 | 0.0 | Higher order logic | (benchmark, library, logic, mit) | JoeHurd |

jukebox | 97 | 0.0 | A first-order reasoning toolbox | (bsd3, library, logic, program) | NickSmallbone |

logic-classes | 22 | 0.0 | Framework for propositional and first order logic, theorem proving | (bsd3, library, logic, theorem-provers) | DavidFox |

minisat | 6 | 0.0 | A Haskell bundle of the Minisat SAT solver | (bsd3, library, logic) | JeroenBransen |

minisat-solver | 5 | 0.0 | High-level Haskell bindings for the MiniSat SAT solver. | (benchmark, library, logic, mit) | PeterSelinger |

obdd | 16 | 0.0 | Ordered Reduced Binary Decision Diagrams | (gpl, library, logic) | JohannesWaldmann |

picologic | 8 | 0.0 | Utilities for symbolic predicate logic expressions | (library, logic, mit) | sdiehl |

picosat | 14 | 2.0 | Bindings to the PicoSAT solver | (library, logic, mit) | sdiehl |

pseudo-boolean | 64 | 0.0 | Reading/Writing OPB/WBO files used in pseudo boolean competition | (bsd3, constraints, data, library, logic, optimisation, optimization) | MasahiroSakai |

satchmo | 37 | 0.0 | SAT encoding monad | (gpl, library, logic) | JohannesWaldmann |

satchmo-toysat | 2 | 0.0 | toysat driver as backend for satchmo | (algorithms, bsd3, library, logic) | MasahiroSakai |

structural-induction | 10 | 0.0 | Instantiate structural induction schemas for algebraic data types | (lgpl, library, logic, theorem-provers) | DanRosen |

term-rewriting | 13 | 2.0 | Term Rewriting Library | (library, logic, mit) | BertramFelgenhauer, MartinAvanzini |

toysolver | 16 | 0.0 | Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc | (algorithms, benchmark, bsd3, constraints, library, logic, optimisation, optimization, program, theorem-provers) | MasahiroSakai |

tpdb | 23 | 0.0 | Data Type for Rewriting Systems | (gpl, library, logic) | JohannesWaldmann |

unification-fd | 16 | 2.0 | Simple generic unification algorithms. | (algebra, algorithms, bsd3, compilers-interpreters, language, library, logic, unification) | WrenThornton |