dreal4 icon indicating copy to clipboard operation
dreal4 copied to clipboard
verified publisher icon dreal

Support get-objectives

Open soonho-tri opened this issue 7 years ago • 0 comments

This is not a standard (yet) but Z3 and optiMathSat support it.

soonho-tri avatar Apr 14 '18 19:04 soonho-tri