Packages tagged asp
1 package has this tag.
[Merge tag] (trustees only)Related tags: ffi (1), library (1), logic-programming (1), mit (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 |