2 ms·Fun fact: We're using MiniZinc and Gecode in production code to solve volume/product puzzles on oil tankers.by Fiahil 9y agoFun fact: We're using MiniZinc and Gecode in production code to solve volume/product puzzles on oil tankers.