KRR
software
BreakID
Issues
Filter by:
All
Open
Advanced search
Search
Issues
(1–12 of 12)
Title
T
P
Status
Votes
Assignee
Created
Updated
Actions
#16: Code review of pb optimization branch
task
major
new
2024-03-14
2024-03-25
#15: Proper comparisons in PB optimization branch
bug
major
new
2024-03-14
2024-03-14
#13: segfault in ASP version
bug
major
new
2024-02-13
2024-03-10
#12: Compilation issue (uint not found)
bug
major
resolved
2022-09-30
2024-03-10
#14: Missing number of models (asp support)
bug
major
new
2024-02-13
2024-02-13
#6: Read from stdin
bug
major
resolved
2016-05-13
2016-12-26
#5: Simplify rule
task
major
resolved
Bart Bogaerts
2016-05-12
2016-12-26
#7: Makefile does not scan dependencies
bug
major
resolved
2016-05-13
2016-05-21
#9: Temp files
bug
major
new
2016-05-19
2016-05-19
#3: Segmentation fault
bug
major
resolved
2016-04-07
2016-04-07
#1: Help not working properly
bug
major
resolved
2016-03-01
2016-03-01
#2: Options are order dependent
bug
major
resolved
2016-03-01
2016-03-01