File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -7,8 +7,8 @@ import pymzm
77import minizinc
88
99model = pymzm.Model()
10- x = model.add_variable(" x" , val_min = 1 , val_max = 100 )
11- y = model.add_variable(" y" , val_min = 1 , val_max = 100 )
10+ x = model.add_variable(" x" , val_min = 1 , val_max = 10000 )
11+ y = model.add_variable(" y" , val_min = 1 , val_max = 10000 )
1212
1313model.add_constraint(x * y == 7829 * 6907 )
1414model.add_constraint(x > y)
@@ -17,7 +17,7 @@ model.set_solve_criteria(pymzm.SOLVE_SATISFY)
1717
1818gecode = minizinc.Solver.lookup(" gecode" )
1919result = model.solve(solver = gecode)
20- print (result.x , result.y ) # 7829 6907
20+ print (result[ " x " ] , result[ " y " ] ) # 7829 6907
2121```
2222
2323## Install
@@ -111,8 +111,8 @@ len(result)
111111
112112** Status:**
113113``` python
114- result.status # minizinc.Status
115- result.statistics # solver statistics dict
114+ result.status # minizinc.Status enum
115+ result.statistics # solver statistics (minizinc.Result.statistics)
116116```
117117
118118## Global constraints
You can’t perform that action at this time.
0 commit comments