Patrick Lühne 9e6d135781 Implemented explicit syntax tree representation for first-order formulas.

2017-03-15 16:00:43 +01: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

TestTranslation.cpp

Implemented explicit syntax tree representation for first-order formulas.

2017-03-15 16:00:43 +01:00