Eric Ramat 2a8cc8c624 Add new formalism tests: dsde 4 anni fa
..
CMakeLists.txt 0acf1c9aa1 Cleanup and new code style 4 anni fa
graph_manager.hpp 2a8cc8c624 Add new formalism tests: dsde 4 anni fa
main.cpp dae5ed4bcc Use state for QSS 4 anni fa