grounding tools for (disjunctive) logic programs

Name
Last commit
Last update
app Loading commit data...
clasp Loading commit data...
cmake Loading commit data...
debian Loading commit data...
doc/api Loading commit data...
examples Loading commit data...
libclingo Loading commit data...
libgringo Loading commit data...
libluaclingo Loading commit data...
libpyclingo Loading commit data...
libreify Loading commit data...
.travis.yml Loading commit data...
.ycm_extra_conf.py Loading commit data...
CHANGES.md Loading commit data...
CMakeLists.txt Loading commit data...
INSTALL.md Loading commit data...
LICENSE.md Loading commit data...
README.md Loading commit data...