Issues (1–17 of 17)

Title	T	P	Status	Votes	Assignee	Version	Created	Updated	Actions
#939: expansion in sub-vocabulary Inferences	bug	major	invalid			3.0	2017-08-28	2017-08-29
#862: merging structures Inferences	bug	minor	duplicate		Joris Renkens	3.0	2014-12-04	2014-12-04
#149: Evaluate inference Inferences	proposal	major	open				2012-05-03	2014-10-06
#98: Additional inference: check satisfiability Inferences	enhancement	major	duplicate		Broes De Cat		2012-01-27	2014-07-31
#369: Delay modelexpansion for symbols that only occur in the head of definitions Inferences	task	minor	resolved		Joachim Jansen		2013-02-26	2014-03-06
#27: [Inference] Model expansion with output vocabulary Inferences	enhancement	major	resolved		Broes De Cat		2011-12-08	2013-12-23
#593: More natural models Inferences	proposal	minor	new				2013-11-19	2013-11-19
#111: table_size datastructure Inferences	enhancement	major	resolved			2.1	2012-03-01	2013-01-30
#28: [Inference] Find (minimal) domain such that Inferences	proposal	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
#49: Querying Inferences	task	major	resolved			2.1	2011-12-09	2013-01-30
#55: UNSAT found, expected SAT Inferences	bug	major	resolved		Broes De Cat	2.0	2011-12-09	2013-01-30
#301: Improve Querying or document it Inferences	bug	minor	new		Bart Bogaerts		2012-12-19	2013-01-14
#150: Test code to replace predicates with terms in them by tseitins Inferences	enhancement	major	new				2012-05-04	2013-01-14
#288: Allow search tracing re-using existing IDP infrastructure Inferences	enhancement	minor	new		Stef De Pooter		2012-12-04	2013-01-04
#271: Improve (distinction between) mx and mxpartial Inferences	enhancement	minor	new				2012-11-13	2013-01-04
#290: Allow subvocabularies in mx Inferences	proposal	major	new				2012-12-05	2012-12-05