Generalizing Blocksworld to multiple grippers to showcase power of declarative modeling Hello world in propositional, numeric, temporal and with continuous numeric effects. This set of classroom ...