Use Patricks PN-Solver

5 jobs for feature/patrizio2dvorversuch in 10 minutes and 28 seconds (queued for 3 seconds)
latest