1 repository on SrcLog
Implementation of classical problems in Computer Science in the Answer Set Solving dialect of Clingo.