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