|
|
fbe351a85b
|
Improved and reformatted help texts.
|
2016-11-23 05:00:33 +01:00 |
|
|
|
9ccbda49b7
|
Implemented head translation.
|
2016-11-23 05:00:33 +01:00 |
|
|
|
870be1680e
|
Made output of Boolean variables consistent with clingo’s input language.
|
2016-11-23 05:00:29 +01:00 |
|
|
|
920f3ab210
|
Started implementing translation of head literals.
|
2016-11-22 17:58:18 +01:00 |
|
|
|
7e7baa1aab
|
Wrote simple dummy parser.
|
2016-11-22 03:15:52 +01:00 |
|
|
|
14acaea28a
|
Fixed incorrect build status badge in readme.
|
2016-11-22 02:18:47 +01:00 |
|
|
|
3100f4a733
|
Initial commit.
|
2016-11-21 17:53:46 +01:00 |
|
