Python toolbox for abstraction and controller synthesis for mode-counting objectives
Working Python environment, with
- Download Gurobi Optimizer and request a license file. Place it in e.g.
~/gurobi.lic
- Go to the installation path (OS X:
/Library/gurobi650/mac64/
) and runpython setup.py install
- Add an environment variable to where the license file is located: e.g.
export GRB_LICENSE_FILE=~/gurobi.lic
orecho 'export GRB_LICENSE_FILE=~/gurobi.lic' >> ~/.bashrc
- Run a test: e.g.
python /Library/gurobi650/mac64/examples/python/mip1.py
For more help see the quick start guides at http://www.gurobi.com/documentation/.
python example_simple.py
python example_abstraction_lin2d.py
python -m unittest discover
(currently outdated)
- Write code that purges forbidden parts of graph: difficult because of order_fcn
- Add option to weigh different classes in counting constraints
- Allow for different counts in prefix
- Non-conservative suffix counting option