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 over 1 year ago Download File
gringo-include-math.patch 601 Bytes over 1 year ago Download File
gringo-manpages.patch 6.13 KB over 1 year ago Download File
gringo-solve-multi.patch 16.6 KB over 1 year ago Download File
gringo-translate-minmax.patch 1.47 KB over 1 year ago Download File
gringo.changes 355 Bytes over 1 year ago Download File
gringo.spec 2.4 KB over 1 year ago Download File

Comments for home:hugomg (0)