|
|
324c91a9aa
|
Minor formatting in readme file.
|
2016-05-24 15:24:23 +02:00 |
|
|
|
fe08394d05
|
Extended readme file with Fast Downward usage information.
|
2016-05-24 12:53:09 +02:00 |
|
|
|
fd1ce50b35
|
Fixed typo.
|
2016-05-24 02:58:11 +02:00 |
|
|
|
d7e6d3cabf
|
Added an example clingo call to usage notes in readme file.
|
2016-05-24 02:57:00 +02:00 |
|
|
|
52570d887f
|
Added building information to readme file.
|
2016-05-24 02:51:33 +02:00 |
|
|
|
ffb300d804
|
Fixed typo in readme file.
|
2016-05-24 02:43:48 +02:00 |
|
|
|
62bfffa1b2
|
Fixed typo in readme file.
|
2016-05-24 02:43:03 +02:00 |
|
|
|
4a023f20e4
|
Added more details to the readme file.
|
2016-05-24 02:42:31 +02:00 |
|
|
|
a3e946fec8
|
Added build status image to readme file.
|
2016-05-20 22:24:24 +02:00 |
|
|
|
216d73f03d
|
Extended readme file with authors of previous iterations.
|
2016-05-20 19:23:28 +02:00 |
|
|
|
3ddf942a12
|
Initial commit.
|
2016-05-20 15:29:24 +02:00 |
|
