it.unibo.alchemist:alchemist-approximatemodelchecking

Tools for running approximate model checking using Alchemist as simulator


License
GPL-2.0-with-font-exception