 Nils Adermann
|
6b2edeae56
Fix solver problem exceptions with unexpected contradictory "Conclusions"
|
6 years ago |
 Jordi Boggiano
|
18492a1f84
Remove Pool::getMaxId and the solver's reliance on it
|
13 years ago |
|
Nils Adermann
|
76f8642feb
Remove duplicate function from decisions
|
13 years ago |
|
Nils Adermann
|
5b1a48663e
DecisionQueueFree is no longer needed
|
13 years ago |
|
Nils Adermann
|
2fbc04b950
Make decisions countable and use foreach to iterate them in solver
|
13 years ago |
|
Nils Adermann
|
26e051cb76
Decisions are now encapsulated in a separate object
|
13 years ago |
