Take care of the ; in write_opb
Add a basic min_str function
Fix variable names in sat_test_data.py
Write out min expression in sat_test.py