diamond Grappa
DIAlectical MOdels eNcoDing is a collection of ASP-encodings for ADFs
Status: Inactive
Brought to you by:
ellmaus
Menu
▾
▴
Tree [7097fb] master / History
| File | Date | Author | Commit |
|---|---|---|---|
| gac1_full_semantic_analysis | 2016-08-11 |
merthold
|
[7097fb] initial commit |
| gac2_partial_semantic_analysis_DNF | 2016-08-11 |
merthold
|
[7097fb] initial commit |
