Code for generating BDDL definitions that can be checked for feasibility given a server to run a simulator. - View it on GitHub