clingo software on GitHub

Software OPEN SOURCE
  • Subject:
    acm: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES | Hardware_LOGICDESIGN

A grounder and solver for logic programs.
Share - Bookmark