Patrick Lühne 7702441d24

Added unit tests for complicated rule heads.

2016-11-24 15:31:52 +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

Added unit tests for complicated rule heads.

2016-11-24 15:31:52 +01:00