Patrick Lühne 7719c4a30b

Reverting clingo to older, stable commit for release.

2017-04-12 00:51:56 +02:00

..

catch @ c6990cdf91

Updated Catch.

2017-04-10 14:50:49 +02:00

clingo @ 37ab4d75ae

Reverting clingo to older, stable commit for release.

2017-04-12 00:51:56 +02:00