GitHub · Where software is built

Labels Milestones New issue

Empty Sort Processing

#29

· amdorsey12 opened

on Jul 21, 2020

Use of variables in display section

#28

· zhangyuanlin opened

on Sep 24, 2018

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

#27

· iensen opened

on Sep 17, 2018

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

#26

· iensen opened

on Sep 13, 2018

Insert a check for unsupported Clingo.

#25

· iensen opened

on Aug 21, 2018

Allow to have conjunctions and disjunctions in queries.

#24

· iensen opened

on Oct 22, 2016

Add modulo operator

#23

· iensen opened

on Aug 30, 2016

Answer set with two abductive supports is duplicated

#22

· vuphan314 opened

on Jun 10, 2016

maxint not working

#21

· iensen opened

on Mar 31, 2016

solveropts not working

#20

· JeremyButcheck opened

on Mar 21, 2016

Warnings for local/global variables when they intersect

#19

· vuphan314 opened

on Dec 5, 2015

Add negations before aggregates

#18

· vuphan314 opened

on Dec 5, 2015