A = Var(Integer) B = Var(Integer) add!(A * B == 12) check() model(Int, A) model(Int, B) #segfault here
zenna
