For FlatZinc, the package is not proposing an optimiser, but just a model-like object. This is quite breaking, hence for v0.5.