Searched refs:DEFAULT_DECOMPOSENORMALPBCONS (Results 1 – 1 of 1) sorted by relevance
80 #define DEFAULT_DECOMPOSENORMALPBCONS FALSE /**< decompose all normal pseudo boolean constraint int… macro9088 &conshdlrdata->decomposenormalpbcons, TRUE, DEFAULT_DECOMPOSENORMALPBCONS, NULL, NULL) ); in SCIPincludeConshdlrPseudoboolean()