Preliminary support for gridworlds modeled with nonboolean variables in gr1c
Interface to new gr1c patching routine; broader nu-TuLiP support for nonboolean variables (in gr1c)
Preserve appearance order of discrete variables while loading tulipcon XML
TRIV: Return cleanly from example if original spec unrealizable
Improve gridworld plotting for large grids; automaton color DOT dumps support variable ordering
Plotting improvement, continuing from previous commit
BUGFIX and support for trolls with nonbool variables
Allow sys or env_vars to be not given to dumpDOT(); update example
Delete apparently unused spec_old() from GridWorld
Simplify solver configuration in polytope.py
TRIV DOC
Update gridworld.extract_coord() to support nonboolean
TEST BUGFIX ...and add check in gridworld.extract_coord() to catch the mistake
DOC TRIV
Add "nonbool=False" in gridworld benchmark code to force classic style
EXAMPLE: Random gridworld with radius1 trolls
Support trolls in GridWorld pretty-printing
Update gr1cint interface for gr1c v0.6.0
EXAMPLE
Merge branch 'master' into live-chg