Benoît Legat

The remaining issues are due to `isapprox`: ```julia test_basic_VectorNonlinearFunction_HyperRectangle: Test Failed at /home/blegat/.julia/dev/MathOptInterface/src/Test/test_basic_constraint.jl:262 Expression: isapprox(MOI.Utilities.canonical(f), constraint_function, config) Evaluated: isapprox(┌ ┐ │+(-(+(^(MOI.VariableIndex(1), (2)), ^(MOI.VariableIndex(2), (2)), ^(MOI.VariableIndex(3), (2))), 0.0), 0.0)│ │+(-(+(MOI.VariableIndex(1)), 0.0),...

Indeed, the `coefficient_type` of a monomial is `Int` at the moment. We could change it to `Bool` to be consistent with `LinearAlgebra.UniformScaling`.

CBLS defines some with additional options so if the user uses the MOI set than he can use MiniZinc as well but if he plans to use CBLS only then...

I get a few errors ```julia toggle_tensorcoremath: Error During Test at /auto/home/users/b/l/blegat/.julia/dev/GPUInspector/test/utility_tests.jl:70 Test threw exception Expression: isnothing(CUDAExt.toggle_tensorcoremath(true; verbose = false)) type Nothing has no field toggle_tensorcoremath Stacktrace: [1] getproperty(x::Nothing, f::Symbol)...