KRR
software
IDP
Issues
Filter by:
All
Open
Advanced search
Search
Issues
(1–13 of 13)
Title
T
P
Status
Votes
Assignee
Version
Created
Updated
Actions
#946: Bug in ExplainUnsat
bug
major
new
Ingmar Dasseville
2017-10-06
2017-10-06
#919: There should be a maximize inference in addition to minimize
enhancement
major
resolved
Ingmar Dasseville
2016-07-12
2016-07-19
#905: explainunsat output structure not maximally imprecise
bug
major
resolved
Ingmar Dasseville
2015-09-29
2016-07-12
#916: Rare Commentaar
bug
major
new
Ingmar Dasseville
2016-03-30
2016-03-31
#887: Printcore met outputvoc
enhancement
minor
new
Ingmar Dasseville
2015-05-26
2015-05-26
#807: Bad Assert regarding double/strings?
bug
major
resolved
Ingmar Dasseville
2014-09-03
2014-11-21
#695: segfault when declaring type too "late" in vocabulary
bug
major
resolved
Ingmar Dasseville
2014-03-03
2014-11-18
#786: Autocompletion broken
bug
major
resolved
Ingmar Dasseville
2014-07-29
2014-07-29
#725: Disambiguation gone wrong
bug
major
new
Ingmar Dasseville
2014-04-01
2014-04-02
#656: resolve symbolic links to the idp executable
bug
major
resolved
Ingmar Dasseville
2014-01-30
2014-01-30
#625: Allow ! x y sat \varphi(x,y) without brackets
bug
major
new
Ingmar Dasseville
2014-01-02
2014-01-02
#582: Unexpected "in"
bug
minor
resolved
Ingmar Dasseville
2013-11-13
2014-01-02
#297: Veralgemeende - binaire quantificatie
Parser
enhancement
major
resolved
Ingmar Dasseville
2012-12-13
2013-10-31