Patrick Lühne d056fabb8b Fixes lost signs with negated 0-ary predicates.

2017-05-04 15:44:37 +02:00

..

CMakeLists.txt

Initial commit.

2016-11-21 17:53:46 +01:00

main.cpp

Initial commit.

2016-11-21 17:53:46 +01:00

TestCompletion.cpp

Refactored implementation of completion.

2017-04-10 16:32:12 +02:00

TestSimplification.cpp

Refactored implementation of completion.

2017-04-10 16:32:12 +02:00

TestTranslation.cpp

Fixes lost signs with negated 0-ary predicates.

2017-05-04 15:44:37 +02:00