\ 2019/05/28 13:09:36 Minimize value: dummy Subject To l_xssss_x0101 + l_xssss_x0102 + l_xssss_x0103 + l_xssss_x0104 + l_xssss_x0201 = 1 l_xssss_x0101 = 1 -> x0101 - xssss = 1 l_xssss_x0102 = 1 -> x0102 - xssss = 1 l_xssss_x0103 = 1 -> x0103 - xssss = 1 l_xssss_x0104 = 1 -> x0104 - xssss = 1 l_xssss_x0201 = 1 -> x0201 - xssss = 1 l_xssss_x0101 + l_x0102_x0101 + l_x0103_x0101 + l_x0104_x0101 + l_x0201_x0101 = 1 l_x0101_x0102 + l_x0101_x0103 + l_x0101_x0104 + l_x0101_x0201 + l_x0101_xeeee = 1 l_x0101_x0102 = 1 -> x0102 - x0101 = 1 l_x0101_x0103 = 1 -> x0103 - x0101 = 1 l_x0101_x0104 = 1 -> x0104 - x0101 = 1 l_x0101_x0201 = 1 -> x0201 - x0101 = 1 l_x0101_xeeee = 1 -> xeeee - x0101 = 1 l_x0201_x0101 + l_x0101_x0201 <= 1 l_x0102_x0101 + l_x0103_x0101 + l_x0104_x0101 + l_x0101_x0102 + l_x0101_x0103 + l_x0101_x0104 <= 1 l_x0101_x0103 = 1 -> x0101 - x0102 >= 1 l_x0101_x0104 = 1 -> x0101 - x0102 >= 1 l_x0101_x0104 = 1 -> x0101 - x0103 >= 1 l_xssss_x0102 + l_x0101_x0102 + l_x0103_x0102 + l_x0104_x0102 = 1 l_x0102_x0101 + l_x0102_x0103 + l_x0102_x0104 + l_x0102_xeeee = 1 l_x0102_x0101 = 1 -> x0101 - x0102 = 1 l_x0102_x0103 = 1 -> x0103 - x0102 = 1 l_x0102_x0104 = 1 -> x0104 - x0102 = 1 l_x0102_xeeee = 1 -> xeeee - x0102 = 1 l_x0103_x0102 + l_x0104_x0102 + l_x0102_x0103 + l_x0102_x0104 <= 1 l_x0102_x0104 = 1 -> x0102 - x0103 >= 1 l_x0101_x0102 + l_x0102_x0101 <= 1 l_xssss_x0103 + l_x0101_x0103 + l_x0102_x0103 + l_x0104_x0103 = 1 l_x0103_x0101 + l_x0103_x0102 + l_x0103_x0104 + l_x0103_xeeee = 1 l_x0103_x0101 = 1 -> x0101 - x0103 = 1 l_x0103_x0102 = 1 -> x0102 - x0103 = 1 l_x0103_x0104 = 1 -> x0104 - x0103 = 1 l_x0103_xeeee = 1 -> xeeee - x0103 = 1 l_x0104_x0103 + l_x0103_x0104 <= 1 l_x0101_x0103 + l_x0102_x0103 + l_x0103_x0101 + l_x0103_x0102 <= 1 l_x0103_x0101 = 1 -> x0103 - x0102 >= 1 l_xssss_x0104 + l_x0101_x0104 + l_x0102_x0104 + l_x0103_x0104 = 1 l_x0104_x0101 + l_x0104_x0102 + l_x0104_x0103 + l_x0104_xeeee = 1 l_x0104_x0101 = 1 -> x0101 - x0104 = 1 l_x0104_x0102 = 1 -> x0102 - x0104 = 1 l_x0104_x0103 = 1 -> x0103 - x0104 = 1 l_x0104_xeeee = 1 -> xeeee - x0104 = 1 l_x0101_x0104 + l_x0102_x0104 + l_x0103_x0104 + l_x0104_x0101 + l_x0104_x0102 + l_x0104_x0103 <= 1 l_x0104_x0101 = 1 -> x0104 - x0102 >= 1 l_x0104_x0101 = 1 -> x0104 - x0103 >= 1 l_x0104_x0102 = 1 -> x0104 - x0103 >= 1 l_xssss_x0201 + l_x0101_x0201 = 1 l_x0201_x0101 + l_x0201_xeeee = 1 l_x0201_x0101 = 1 -> x0101 - x0201 = 1 l_x0201_xeeee = 1 -> xeeee - x0201 = 1 l_x0101_x0201 + l_x0201_x0101 <= 1 l_x0101_xeeee + l_x0102_xeeee + l_x0103_xeeee + l_x0104_xeeee + l_x0201_xeeee = 1 Bounds dummy = 0 tate = 3 yoko = 5 xssss = 1 xeeee = 7 Binary l_xssss_x0101 l_x0102_x0101 l_x0103_x0101 l_x0104_x0101 l_x0201_x0101 l_xssss_x0102 l_x0101_x0102 l_x0103_x0102 l_x0104_x0102 l_xssss_x0103 l_x0101_x0103 l_x0102_x0103 l_x0104_x0103 l_xssss_x0104 l_x0101_x0104 l_x0102_x0104 l_x0103_x0104 l_xssss_x0201 l_x0101_x0201 l_x0101_xeeee l_x0102_xeeee l_x0103_xeeee l_x0104_xeeee l_x0201_xeeee End