Title	T	P	Status	Assignee	Version	Created	Updated
#898: minimization over max aggregate behaves strangely	bug	critical	wontfix	JoD		2015-08-04	2015-09-15
#888: Printcore met constraint als string als argument	enhancement	minor	wontfix	JoD		2015-05-26	2015-05-26
#687: Extend delaycomputation to cases where useifcompletion is true	bug	major	wontfix			2014-02-26	2014-03-28
#439: Splitdefinitions is O(n^3) instead of O(n) XSB	enhancement	minor	wontfix	Joachim Jansen		2013-06-10	2013-12-30
#541: To temporary resolve some bison-flex problems on older machines, disable minisatid executable building when building idp.	enhancement	minor	wontfix	Broes De Cat		2013-10-10	2013-10-10
#219: IDP-Lua does not accept "= #L" as command after "L = {}"	bug	minor	wontfix	Stef De Pooter		2012-08-28	2013-10-08
#401: using xsb results in segmentation fault	bug	major	wontfix			2013-03-22	2013-04-23
#233: Combine symbolic and concrete structure in wrapper	enhancement	minor	wontfix			2012-09-27	2013-03-03
#175: F = generate	task	major	wontfix			2012-05-24	2013-01-30
#189: @b domainterms	bug	major	wontfix			2012-06-21	2013-01-30
#21: Als implicatie voldoende is, een equivalentie schrijven, is soms zeer veel trager	proposal	major	wontfix			2011-12-08	2013-01-30
#94: Segfault in modelexpand	bug	major	wontfix			2012-01-23	2013-01-30
#93: data files when developing	bug	major	wontfix			2012-01-18	2013-01-30
#171: Print out structure in ECNF	enhancement	minor	wontfix			2012-05-23	2013-01-30
#69: Remove lua source and add build dependency	enhancement	minor	wontfix	Broes De Cat	2.1	2011-12-15	2013-01-30
#160: Functions and aggregates	bug	major	wontfix			2012-05-14	2013-01-30
#10: Sokoban moon-bug	bug	major	wontfix		2.0	2011-12-08	2013-01-30