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