ahartmanns / qcomp

qcomp.org – Quantitative Model Repository and Tool Comparison
http://qcomp.org/
6 stars 7 forks source link

MDP blocksworld-exploding: Fix source and author #83

Open remco1112 opened 4 years ago

remco1112 commented 4 years ago

Author of the model generator is Blai Bonet (found in /benchmarks-FOP/final/generators/ex-blocksworld/README of the IPPC 2008 contest files). See #77 for similar PRs