LogoopenSUSE Build Service > Projects
Sign Up | Log In

gringo

grounding tools for (disjunctive) logic programs

Source Files

Filename Size Changed Actions
gringo-4.5.4-source.tar.gz 1.6 MB almost 2 years ago Download File
gringo-include-math.patch 601 Bytes almost 2 years ago Download File
gringo-manpages.patch 6.13 KB almost 2 years ago Download File
gringo-solve-multi.patch 16.6 KB almost 2 years ago Download File
gringo-translate-minmax.patch 1.47 KB almost 2 years ago Download File
gringo.changes 355 Bytes almost 2 years ago Download File
gringo.spec 2.4 KB almost 2 years ago Download File

Comments for home:hugomg (0)