Use the correct opb format
Add some more test data
Add more test data
Update sat_test.py
Add code to convert a solution (from sat4j) to packages