search

tpaviot / ProcessScheduler

A Python package for automatic and optimized resource scheduling
https://processscheduler.github.io/
GNU General Public License v3.0
59 stars 18 forks source link

Incremental solver #40

Closed tpaviot closed 3 years ago

tpaviot commented 3 years ago

The incremental solver does not use the z3 Optimize solver, but the standard SAT/SMT solver. It appears to be more robust, can be debugged as well.

Used by default for all optimization problems that involve one and only one optimization objective.