KRR
software
IDP
Issues
Filter by:
All
Open
Advanced search
Search
Issues
(1–9 of 9)
Title
T
P
Status
Votes
Assignee
Version
Created
Updated
Actions
#687: Extend delaycomputation to cases where useifcompletion is true
bug
major
wontfix
2014-02-26
2014-03-28
#401: using xsb results in segmentation fault
bug
major
wontfix
2013-03-22
2013-04-23
#175: F = generate
task
major
wontfix
2012-05-24
2013-01-30
#189: @b domainterms
bug
major
wontfix
2012-06-21
2013-01-30
#21: Als implicatie voldoende is, een equivalentie schrijven, is soms zeer veel trager
proposal
major
wontfix
2011-12-08
2013-01-30
#94: Segfault in modelexpand
bug
major
wontfix
2012-01-23
2013-01-30
#93: data files when developing
bug
major
wontfix
2012-01-18
2013-01-30
#160: Functions and aggregates
bug
major
wontfix
2012-05-14
2013-01-30
#10: Sokoban moon-bug
bug
major
wontfix
2.0
2011-12-08
2013-01-30