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