Adopting stl2milp_test.py to new changes #22
Description
Due to the new changes in the codes, we need to define ranges for the variables and pass them to "stl2milp" class.
{{ message }}
Due to the new changes in the codes, we need to define ranges for the variables and pass them to "stl2milp" class.