1 2 3 4 5 6 7 8 9 10
use grb::prelude::*; mod utils; fn main() -> grb::Result<()> { create_model!(_g, m, x, y, z); c!(x + y == 2 == 1 - z); c!(x + y - (4 >= 1 - z)); c!(x + y >= 1 - z >= 43); Ok(()) }