krr / IDP / issues — Bitbucket

Title	T	P	Status	Assignee	Created	Updated
#448: Inline typing of variables is not allowed	bug	major	new	JoD	2013-06-18	2013-07-30
#488: Fix interactive print monitor, allowing both speed and usage in Lua.	enhancement	minor	new		2013-07-29	2013-07-29
#487: !x: q(x) & ~q(x) does not derive unsat early with lifted unit propagation	bug	major	new		2013-07-27	2013-07-27
#485: put of structure goes through <IDP> printer, the others just ask print	bug	minor	new		2013-07-24	2013-07-24
#483: Parsing inconsistent structures	enhancement	minor	new		2013-07-23	2013-07-24
#482: Interpretation retrieval is dangerous when storing it	bug	major	new		2013-07-23	2013-07-23
#481: EqChainForm detection on theories	enhancement	major	new		2013-07-22	2013-07-22
#475: Comma vs semicolon in list of constructor functions?	enhancement	minor	new		2013-07-18	2013-07-18
#464: getInverseTable optimization for bdds	enhancement	major	new	Bart Bogaerts	2013-07-11	2013-07-11
#463: Throw error when defining keywords as symbols such as max, sum, ...	bug	minor	new		2013-07-11	2013-07-11
#460: Static symmetry breakers often go in memory overflow in more realistic ASP instances	enhancement	major	new		2013-07-11	2013-07-11
#455: Improve two-valuedness handling of terms and atoms	enhancement	major	new		2013-07-03	2013-07-03
#454: Approximatie voor functies mag niet op de grafe redeneren	bug	major	new		2013-07-02	2013-07-02
#453: Exploit equalities to make smarter grounding cp-support	enhancement	minor	new		2013-07-02	2013-07-02
#446: Querying could be done with XSB XSB	enhancement	minor	new	Joachim Jansen	2013-06-13	2013-06-13
#443: Bug in Generator for simple tables (when type information is provided)	bug	major	new		2013-06-12	2013-06-12
#444: Ground theory information is incorrect+incomplete	bug	minor	new		2013-06-12	2013-06-12
#436: Does IDP allow duplicate atoms (structure and/or factlist) as input and how does the output look like	bug	minor	new		2013-06-05	2013-06-05
#434: Inference-specific resource constraints	enhancement	minor	new		2013-06-04	2013-06-04
#431: Catch all signals	task	trivial	new		2013-05-29	2013-05-29
#387: Transform equivalences into definitions XSB	enhancement	minor	new	Joachim Jansen	2013-03-13	2013-05-29
#361: Syntactic equality check	enhancement	major	new		2013-02-20	2013-05-16
#406: Improve definition-evaluation by grounding using approximation	enhancement	major	new		2013-03-29	2013-05-10
#416: Allow open input predicates to be represented by ranges	enhancement	major	new	Joachim Jansen	2013-04-18	2013-04-18
#414: Negation handling in recursive definitions.	bug	critical	new		2013-04-15	2013-04-15