Raphael Maenle ccf26f8d8a added empty functions for calls in structure.cpp ... check if set or next abstraction is now done at the very beginning!		2017-12-12 11:42:31 +01:00
..
input	Clion Project created	2017-12-02 14:39:19 +01:00
output	Clion Project created	2017-12-02 14:39:19 +01:00
solve	added empty functions for calls in structure.cpp	2017-12-12 11:42:31 +01:00