# Simple MINLP: x*y = 1, x,y in [0,2]
var x 0 2
var y 0 2
bilinear 1 0 1
eq 1
