Open darkeclipz opened 5 years ago
First do some research to see what solvers there are available, and how this should be implemented.
.csp wa:1 2 3 na:1 2 3 wa != ma
.lp max x1 x1:binary x1:integer x1 x1 > 10
First do some research to see what solvers there are available, and how this should be implemented.