Cpt Kirk Cpt Kirk - Code
Obtain why and why-not justifications for answer set programs.
Status: Alpha
Brought to you by:
joaomourapt
Menu
▾
▴
Tree [d4b0b7] master / History
| File | Date | Author | Commit |
|---|---|---|---|
| bin | 2014-05-24 |
Joao Moura
|
[d4b0b7] Initial commit |
| .classpath | 2014-05-24 |
Joao Moura
|
[d4b0b7] Initial commit |
| .project | 2014-05-24 |
Joao Moura
|
[d4b0b7] Initial commit |
| testKirk.txt | 2014-05-24 |
Joao Moura
|
[d4b0b7] Initial commit |
