diamond Tickets
DIAlectical MOdels eNcoDing is a collection of ASP-encodings for ADFs
Status: Inactive
Brought to you by:
ellmaus
| # | Summary▾ |
Milestone▾
|
Status▾
|
Owner▾
|
Created▾ | Updated▾ | |
|---|---|---|---|---|---|---|---|
| 31 | go branch | BugReport | open | 2023-09-13 | 2023-09-26 | ||
| 30 | --stm not working for AFs (only --mod) | BugReport | accepted | 2018-09-12 | 2018-09-12 | ||
| 29 | Link type computation broken | BugReport | accepted | 2015-09-02 | 2015-09-02 | ||
| 28 | Logical distinctive functions | 1.0.1 | pending | 2014-11-27 | 2014-11-27 | ||
| 27 | Fix missing enum mode for bipolarity check | BugReport | accepted | Stefan Ellmauthaler | 2014-11-27 | 2014-11-27 | |
| 25 | Toy instances undocumented and with old syntax | Feature Requests | open | 2014-11-07 | 2014-11-07 | ||
| 18 | Support for theory bases | 1.0.1 | open | Hannes Strass | 2014-05-22 | 2014-05-22 | |
| 15 | Support for stable semantics | Feature Requests | open | 2014-03-12 | 2014-03-12 | ||
| 10 | New Deploy method | Feature Requests | open | 2014-03-11 | 2014-03-12 | ||
| 9 | Increased Portability | Feature Requests | open | 2014-03-11 | 2014-03-11 |