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

Prohibit --solveropts option, introduce an option -n --number-of-answer-sets to tell SPARC how many answer sets need to be computed.

Open iensen opened this issue 7 years ago • 0 comments

iensen avatar Sep 17 '18 06:09 iensen