21 package(s) known
- Summary:
grounder and solver for logic programs
- Maintainer:
- License:
- Links(s):
clingo-dev
5.4.1 (5.4.1-r0)
- Summary:
grounder and solver for logic programs (development files)
- Maintainer:
- License:
- Links(s):
py3-clingo
5.4.1 (5.4.1-r0)
- Summary:
Python bindings for clingo
- Maintainer:
- License:
- Links(s):
- Summary:
grounder and solver for logic programs
- Maintainer:
- License:
- Links(s):
clingo-dev
5.4.1 (5.4.1-r0)
- Summary:
grounder and solver for logic programs (development files)
- Maintainer:
- License:
- Links(s):
py3-clingo
5.4.1 (5.4.1-r0)
- Summary:
Python bindings for clingo
- Maintainer:
- License:
- Links(s):
- Summary:
Grounding tools for (disjunctive) logic programs
- Maintainer:
- License:
- Links(s):
- Summary:
Grounder and solver for logic programs
- Maintainer:
- Category:
- Links(s):
clingo
5.3.0 (5.3.0-5.fc29)
- Summary:
A grounder and solver for logic programs
- Category:
- License:
- Links(s):
clingo
5.3.0 (5.3.0-5.fc30)
- Summary:
A grounder and solver for logic programs
- Category:
- License:
- Links(s):
clingo
5.3.0 (5.3.0-5.fc31)
- Summary:
A grounder and solver for logic programs
- Category:
- License:
- Links(s):
clingo
5.4.0 (5.4.0-2.fc32)
- Summary:
A grounder and solver for logic programs
- Category:
- License:
- Links(s):
clingo
5.4.0 (5.4.0-4.fc33)
- Summary:
A grounder and solver for logic programs
- Category:
- License:
- Links(s):
clingo
5.4.0 (5.4.0-5.fc34)
- Summary:
A grounder and solver for logic programs
- Category:
- License:
- Links(s):
- Summary:
Grounder and solver for logic programs
- Maintainer:
- Category:
- Links(s):
- Summary:
ASP system to ground and solve logic programs
- Links(s):
- Summary:
Grounding tools for (disjunctive) logic programs
- License:
- Links(s):
- Summary:
ASP system to ground and solve logic programs
- Links(s):
- Summary:
ASP system to ground and solve logic programs
- Maintainer:
- License:
- Links(s):
- Summary:
ASP system to ground and solve logic programs
- Maintainer:
- License:
- Links(s):