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
clingo20.01Haskell bindings to the Clingo ASP solver (asp, ffi, library, logic-programming, mit, symbolic-computation)2017-08-180.2.0.0tsahyt