iensen/sparc

Issues

• Answer set with two abductive supports is duplicated

  #22 opened 8 years ago by vuphan314
  1

• Empty Sort Processing

  #29 opened 4 years ago by amdorsey12
  0

• Allow to hide sort atoms from the output of a solver.

  #14 opened 6 years ago by iensen
  0

• Use of variables in display section

  #28 opened 6 years ago by zhangyuanlin
  0

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

  #27 opened 6 years ago by iensen
  0

• Choice rules in the head should be allowed to have sort names in them.

  #26 opened 6 years ago by iensen
  0

• Insert a check for unsupported Clingo.

  #25 opened 6 years ago by iensen
  0

• Warnings for local/global variables when they intersect

  #19 opened 9 years ago by vuphan314
  0

• Allow to have conjunctions and disjunctions in queries.

  #24 opened 8 years ago by iensen
  0

• Add modulo operator

  #23 opened 8 years ago by iensen
  0

• maxint not working

  #21 opened 9 years ago by iensen
  0

• solveropts not working

  #20 opened 9 years ago by JeremyButcheck
  3

• Add negations before aggregates

  #18 opened 9 years ago by vuphan314
  0

• Issue with quering mode when input is redirected

  #17 opened 9 years ago by iensen
  0

• Negations before sort literals.

  #16 opened 9 years ago by iensen
  0

• Allow empty sorts (optionally, produce a warning when they occur in the program).

  #15 opened 9 years ago by iensen
  0

• [Implementation] Unrestricted variables in choice rules.

  #12 opened 10 years ago by iensen
  0

• [Implementation] Cr-Rules and Clingo

  #13 opened 10 years ago by iensen
  0

• [Language Design] Introduce #show directives to allow filtering answer sets by predicate names.

  #10 opened 10 years ago by iensen
  0

• [Language Design] Introduce #show directives to allow filtering answer sets by predicate names.

  #11 opened 10 years ago by iensen
  0

• [Language Design] Add arithmetic expressions to constant definitions.

  #7 opened 10 years ago by iensen
  0

• [Implementation] Correct memory error occurring when a program has many answer sets.

  #8 opened 10 years ago by iensen
  0

• [Language Design] Allow anonimous sorts

  #9 opened 10 years ago by iensen
  0

• Constants are not unrestood by translator if they are used inside rules

  #2 opened 11 years ago by iensen
  1

• equation.sp example produces an error if maxint is not provided

  #6 opened 11 years ago by iensen
  0

• Design Issue: class Pair should be moved to a special "utils" package

  #5 opened 11 years ago by iensen
  1

• Output of large answer sets is slow.

  #4 opened 11 years ago by iensen
  1

• Arithmetic terms inside other terms are not working when option -wcon is used.

  #3 opened 11 years ago by iensen
  1

• -o is not working properly.

  #1 opened 11 years ago by iensen
  0