Packages tagged logic-programming
5 packages have this tag.
[Merge tag] (trustees only)Related tags: library (5), mit (3), bsd3 (2), asp (1), bindings (1), dsl (1), ffi (1), foreign-binding (1), symbolic-computation (1)
Name |
DLs |
Rating |
Rev Deps |
Description |
Tags |
Last U/L |
Last Version |
Maintainers |
|---|---|---|---|---|---|---|---|---|
| clingo | 5 | 0.0 | 1 | Haskell bindings to the Clingo ASP solver | (asp, ffi, library, logic-programming, mit, symbolic-computation) | 2017-08-18 | 0.2.0.0 | tsahyt |
| souffle-dsl | 4 | 0.0 | 0 | Haskell EDSL for Souffle | (dsl, library, logic-programming, mit) | 2021-04-11 | 0.1.0 | luc_tielen |
| souffle-haskell | 57 | 0.0 | 1 | Souffle Datalog bindings for Haskell | (bindings, foreign-binding, library, logic-programming, mit) | 2024-01-03 | 4.0.0 | luc_tielen |
| unique-logic | 20 | 0.0 | 1 | Solve simple simultaneous equations | (bsd3, library, logic-programming) | 2023-01-14 | 0.4.0.1 | HenningThielemann |
| unique-logic-tf | 32 | 0.0 | 1 | Solve simple simultaneous equations | (bsd3, library, logic-programming) | 2019-01-22 | 0.5.1 | HenningThielemann |