Optimization using Unsat Cores
using the unsat cores functionality of Z3 for optimization
(from redmine: issue id 2180, created on 2014-12-08, closed on 2018-02-01)
using the unsat cores functionality of Z3 for optimization
(from redmine: issue id 2180, created on 2014-12-08, closed on 2018-02-01)