choco-solver icon indicating copy to clipboard operation
choco-solver copied to clipboard

Published 20 hours ago • verified publisher icon chocoteam

Support MiniZinc output

Open cprudhom opened this issue 5 years ago • 0 comments
trafficstars

It would be nice if Choco were able to support MiniZinc output format.

cprudhom avatar Jul 15 '20 08:07 cprudhom