krr / IDP / issues — Bitbucket

Title	T	P	Status	Assignee	Version	Created	Updated
#133: Assign sort to the interpretation of another sort. Parser	enhancement	minor	new	Broes De Cat	2.1	2012-03-22	2013-01-30
#186: Transform ASP into FO(.)	proposal	major	new			2012-06-13	2013-01-30
#177: Optimizing product aggregates with negatives	bug	major	new			2012-05-24	2013-01-30
#60: Link between ground and FO(.) formulas Grounding	enhancement	major	new	Roel Standaert	2.1	2011-12-13	2013-01-30
#130: Create workflow for inferences	proposal	major	new			2012-03-21	2013-01-30
#117: standard library	proposal	major	new			2012-03-11	2013-01-30
#142: Presburger improvement for BDDs BDDs	enhancement	major	new	Pieter Van Hertum		2012-04-18	2013-01-30
#9: Infinite structures	enhancement	major	new			2011-12-08	2013-01-30
#138: Do the generators NEED to generate in Compare order?	task	major	new			2012-03-29	2013-01-30
#155: Write unit tests for isSubVocabulary	enhancement	major	new			2012-05-08	2013-01-30
#157: Google ranking	task	minor	new			2012-05-11	2013-01-30
#28: [Inference] Find (minimal) domain such that Inferences	proposal	major	new			2011-12-08	2013-01-30
#153: More warnings while parsing Parser	proposal	major	new			2012-05-07	2013-01-30
#152: ECNF of optimization problem	proposal	minor	new			2012-05-04	2013-01-30
#125: Prioritized optimization	proposal	major	new		2.1	2012-03-20	2013-01-30
#141: Propagation for aggregates BDDs	task	major	new		2.0	2012-04-16	2013-01-30
#184: Shared tseitin cost AND push quant effect of BDD rewriting	bug	major	new	Bart Bogaerts		2012-06-12	2013-01-30
#62: Lua Syntax	proposal	major	new			2011-12-14	2013-01-30
#39: Overloading	enhancement	major	new			2011-12-09	2013-01-30
#180: Derivetermbounds can be improved	task	major	new			2012-06-04	2013-01-30
#203: Lifted unit propagation should detect when it will be too expensive	enhancement	major	new			2012-07-13	2013-01-30
#90: Symmetry Breaking vs NbModels	proposal	major	new	JoD		2012-01-12	2013-01-30
#29: Syntactische suiker	enhancement	major	new			2011-12-08	2013-01-30
#128: Specialize derive transformation when the structure is known Inferences	proposal	major	new		2.1	2012-03-21	2013-01-30
#166: Any lua object should be printable by print()	task	major	new			2012-05-17	2013-01-30

#133: Assign sort to the interpretation of another sort.

Parser

enhancement

minor

new

Broes De Cat

2.1

2012-03-22

2013-01-30

#186: Transform ASP into FO(.)

proposal

major

new

2012-06-13

2013-01-30

#177: Optimizing product aggregates with negatives

bug

major

new

2012-05-24

2013-01-30

#60: Link between ground and FO(.) formulas

Grounding

enhancement

major

new

Roel Standaert

2.1

2011-12-13

2013-01-30

#130: Create workflow for inferences

proposal

major

new

2012-03-21

2013-01-30

#117: standard library

proposal

major

new

2012-03-11

2013-01-30

#142: Presburger improvement for BDDs

BDDs

enhancement

major

new

Pieter Van Hertum

2012-04-18

2013-01-30

#9: Infinite structures

enhancement

major

new

2011-12-08

2013-01-30

#138: Do the generators NEED to generate in Compare order?

task

major

new

2012-03-29

2013-01-30

#155: Write unit tests for isSubVocabulary

enhancement

major

new

2012-05-08

2013-01-30

#157: Google ranking

task

minor

new

2012-05-11

2013-01-30

#28: [Inference] Find (minimal) domain such that

Inferences

proposal

major

new

2011-12-08

2013-01-30

#153: More warnings while parsing

Parser

proposal

major

new

2012-05-07

2013-01-30

#152: ECNF of optimization problem

proposal

minor

new

2012-05-04

2013-01-30

#125: Prioritized optimization

proposal

major

new

2.1

2012-03-20

2013-01-30

#141: Propagation for aggregates

BDDs

task

major

new

2.0

2012-04-16

2013-01-30

#184: Shared tseitin cost AND push quant effect of BDD rewriting

bug

major

new

Bart Bogaerts

2012-06-12

2013-01-30

#62: Lua Syntax

proposal

major

new

2011-12-14

2013-01-30

#39: Overloading

enhancement

major

new

2011-12-09

2013-01-30

#180: Derivetermbounds can be improved

task

major

new

2012-06-04

2013-01-30

#203: Lifted unit propagation should detect when it will be too expensive

enhancement

major

new

2012-07-13

2013-01-30

#90: Symmetry Breaking vs NbModels

proposal

major

new

JoD

2012-01-12

2013-01-30

#29: Syntactische suiker

enhancement

major

new

2011-12-08

2013-01-30

#128: Specialize derive transformation when the structure is known

Inferences

proposal

major

new

2.1

2012-03-21

2013-01-30

#166: Any lua object should be printable by print()

task

major

new

2012-05-17

2013-01-30

Issues

Issues (276–300 of 343)