gentoo.mahdi.cz
dev-lang
:clingo
Integrated grounder and solver for answer set logic programs.
http://potassco.sourceforge.net/
clingo-4.5.4
GPL-3
download
~amd64
bgo