diamond Tickets

DIAlectical MOdels eNcoDing is a collection of ASP-encodings for ADFs

Status: Inactive

Brought to you by: ellmaus

Tickets Maximize Restore

# Sort A -> Z Sort Z -> A	Summary▾ Sort A -> Z Sort Z -> A	Milestone▾ Sort A -> Z Sort Z -> A Filter by Milestone	Status▾ Sort A -> Z Sort Z -> A Filter by Status	Owner▾ Sort A -> Z Sort Z -> A Filter by Owner	Created▾ Sort A -> Z Sort Z -> A	Updated▾ Sort A -> Z Sort Z -> A
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

Ticket Number
Summary
Milestone
Status
Owner
Creator
Created
Updated
Labels

(applies to this page only)