[SCIP] XOR VS AND/OR: reason behind different signatures

Roberto Amabile Roberto.Amabile at ruhr-uni-bochum.de
Wed May 30 08:55:55 CEST 2018


Dear SCIPers,
thanks in advance for your consideration.

I wonder why the signature SCIPcreateConsXor is different from 
SCIPcreateConsAnd/Or in their respective constraint handlers.
According to their signatures, the AND/OR constraint resultant is 
SCIP_VAR*, whereas the XOR "resultant" (it is not even called that way) 
is a SCIP_Bool.
Is there any design/theoretical choice for this inconsistency?

Best,
-- 
Roberto Amabile


More information about the Scip mailing list