Packages tagged logic-programming

3 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (3), bsd3 (2), asp (1), ffi (1), mit (1), symbolic-computation (1)

Name
DLs
Rating
Description
Tags
Maintainer
clingo120.0Haskell bindings to the Clingo ASP solver (asp, ffi, library, logic-programming, mit, symbolic-computation)tsahyt
unique-logic20.0Solve simple simultaneous equations (bsd3, library, logic-programming)HenningThielemann
unique-logic-tf50.0Solve simple simultaneous equations (bsd3, library, logic-programming)HenningThielemann