Changes between Version 25 and Version 26 of Specification/RSF2DIMACS


Ignore:
Timestamp:
Mar 10, 2015, 12:17:09 PM (10 years ago)
Author:
krafczy
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Specification/RSF2DIMACS

    v25 v26  
    8181 
    8282== Translation of ''!ItemSelects'' Constraints == 
    83 The ItemSelects statement specifies the minimum possible selection for a variable, if the specified condition is true. The constraint is evaluated in "integer logic", with "or" being "max", "and" being "min" and "not" being "2-". 
     83The !ItemSelects statement specifies the minimum possible selection for a variable, if the specified condition is true. The constraint is evaluated in "integer logic", with "or" being "max", "and" being "min" and "not" being "2-". 
    8484 
    8585 * In RSF: