Searched refs:useobj (Results 1 – 3 of 3) sorted by relevance
158 SCIP_Bool useobj; in readCnf() local209 SCIP_CALL( SCIPgetBoolParam(scip, "reading/cnfreader/useobj", &useobj) ); in readCnf()350 if( useobj ) in readCnf()
30961 AjBool useobj = ajTrue; in acdInFileSave() local30978 useobj = ajFalse; in acdInFileSave()30980 useobj = ajTrue; in acdInFileSave()30986 if(useobj && ajStrGetLen(objname)) in acdInFileSave()31003 if(useobj) in acdInFileSave()
3965 - `reading/cnfreader/useobj` to state whether an artificial objective, depending on the number of c…