Title	T	P	Status	Assignee	Version	Created	Updated
#932: Grounder incorrectly simplifies definitions. Grounding	bug	major	new	Joachim Jansen		2017-04-20	2017-04-20
#758: Approximation going awry? Grounding	bug	major	invalid			2014-05-27	2014-05-28
#352: Bug/unsupported feature in sum of cardinalities Grounding	bug	minor	resolved			2013-02-14	2013-10-08
#403: Using sorts to minimize grounding Grounding	enhancement	minor	new			2013-03-22	2013-03-22
#123: Abort mx early if structure contains a function mapping to an empty domain Grounding	bug	minor	duplicate			2012-03-16	2013-01-30
#60: Link between ground and FO(.) formulas Grounding	enhancement	major	new	Roel Standaert	2.1	2011-12-13	2013-01-30
#45: Lazy grounding Grounding	task	major	invalid	Broes De Cat		2011-12-09	2013-01-30
#42: Optimalisatie Grounding	enhancement	major	resolved		2.1	2011-12-09	2013-01-30
#106: [Lazy] pull through quantifications Grounding	enhancement	major	new			2012-02-08	2013-01-30
#82: Prevent unnesting whenever possible without BDDs Grounding	bug	major	resolved	Stef De Pooter	2.1	2011-12-27	2013-01-30
#74: Wrtiting translation information Grounding	bug	minor	resolved		2.1	2011-12-16	2013-01-30
#31: Weights changed by aggrounder Grounding	bug	major	resolved		2.0	2011-12-08	2013-01-30
#24: Negative and zero weights in product sets Grounding	bug	major	resolved	Bart Bogaerts	2.0	2011-12-08	2013-01-30
#50: BDD's Grounding	task	major	resolved			2011-12-09	2013-01-30
#40: Generators Grounding	task	major	resolved			2011-12-09	2013-01-30
#306: Approximation cannot be used in recursive rules Grounding	bug	major	resolved			2013-01-07	2013-01-10
#108: Sharing of introduced variables Grounding	enhancement	major	resolved			2012-02-16	2012-05-18
#95: Infinitely many false defineds Grounding	bug	major	resolved			2012-01-25	2012-03-21