Open andreaf96 opened 4 years ago
Hi,
the following goal does not terminate with the latest version of SWI-prolog using the library simplex written by @triska.
gen_state(S0), constraint([1*k1]>=0,S0,S1), constraint([1*k2]>=0,S1,S2), constraint([1*n1]>=0,S2,S3), constraint([1*n2]>=0,S3,S4), constraint([1*k1,-1*k2]>=0,S4,S5), constraint([2*n1,-2*n2,-1*k1,1*k2]=3,S5,S6), constraint(integral(n1),S6,S7), constraint(integral(n2),S7,S8), minimize([1*k1,-1*k2],S8,S).
It terminates if we add only one of the two integrality constraints on n1 and n2. It does not terminate if we also add integrality constraints on k1 and k2.
Hi,
the following goal does not terminate with the latest version of SWI-prolog using the library simplex written by @triska.
gen_state(S0), constraint([1*k1]>=0,S0,S1), constraint([1*k2]>=0,S1,S2), constraint([1*n1]>=0,S2,S3), constraint([1*n2]>=0,S3,S4), constraint([1*k1,-1*k2]>=0,S4,S5), constraint([2*n1,-2*n2,-1*k1,1*k2]=3,S5,S6), constraint(integral(n1),S6,S7), constraint(integral(n2),S7,S8), minimize([1*k1,-1*k2],S8,S).It terminates if we add only one of the two integrality constraints on n1 and n2. It does not terminate if we also add integrality constraints on k1 and k2.