sparc icon indicating copy to clipboard operation
sparc copied to clipboard
verified publisher icon iensen

Insert a check for unsupported Clingo.

Open iensen opened this issue 7 years ago • 0 comments

When an unsupported version of clingo is used (<=5), Sparc should produce an error. Some code needs to be added in ClingoSolver.java.

iensen avatar Aug 21 '18 04:08 iensen