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