KRR
software
IDP
Issues
Filter by:
All
Open
Advanced search
Search
Issues
(1–8 of 8)
Title
T
P
Status
Votes
Assignee
Version
Created
Updated
Actions
#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
#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
#656: resolve symbolic links to the idp executable
bug
major
resolved
Ingmar Dasseville
2014-01-30
2014-01-30
#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