feimx /
pac
| 3 added classes/operations | |||
|
A | FinkokDriver::ensureHasNoProblemsWithSat() added | |
|
|
A | FinkokDriver::ensureIsCancelable() added | |
|
|
A | FinkokDriver::ensureIsNotInProcess() added | |
| B | ↗ | A | FinkokDriver::cancel() improved |
| Head |  Jorge Andrade
|
|---|---|
| ⋮ | 1 more commit |
| Base | Jorge Andrade
|
