Flora-2 Bugs
Brought to you by:
kifer
# | Summary▾ |
Status▾
|
Owner▾
|
Creator▾
|
Created▾ | Updated▾ |
Type▾
|
|
---|---|---|---|---|---|---|---|---|
49 | Problems using Flora-2 2.1 through simulated TTY | open | Anonymous | 2021-01-17 | 2021-01-18 | Other | ||
46 | Flora-2 Visualizer Install Instruction Fail | open | Anonymous | 2017-06-17 | 2017-06-18 | Other | ||
39 | aggregates (count/setof) are not quite right with reified items | open | Michael Kifer | Michael Kifer | 2015-02-13 | 2015-02-13 | Wrong answer | |
22 | exists_not implementation bug | open | Michael Kifer | 2014-01-24 | 2014-01-24 | Wrong answer | ||
15 | exists_not problems | open | Michael Kifer | 2013-10-24 | 2013-10-24 | Wrong answer | ||
6 | Criteria for further delay of delayed literals must be expanded | open | Michael Kifer | Michael Kifer | 2013-08-19 | 2013-08-19 | Wrong answer |