choco-solver icon indicating copy to clipboard operation
choco-solver copied to clipboard
verified publisher icon chocoteam

Support MiniZinc output

Open cprudhom opened this issue 5 years ago • 0 comments

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

cprudhom avatar Jul 15 '20 08:07 cprudhom