iensen / clingo Goto Github PK
View Code? Open in Web Editor NEWThis project forked from potassco/clingo
A grounder and solver for logic programs. (This fork is a version which compiles under C++ compiler without the need to generate bison/flex files, see https://github.com/iensen/plog2.0/blob/master/CMakeLists.txt for an example make file)
License: MIT License