tempest

PBerger f7adf54be3 Added A FindGurobi file for CMake. Adapted build process to use the new file to support all version of the library (upgrading to 6.0 breaks everything). Former-commit-id: `820ad02968`		11 years ago
..
dtmc	Fixed some issues related to bisimulation in the presence of state rewards.	11 years ago
mdp	Fixed (asynch) leader election to comply with our grammar. Added LOG_DEBUG macro.	11 years ago