Changes between Version 20 and Version 21 of Specification/RSF2DIMACS


Ignore:
Timestamp:
Sep 26, 2014, 11:40:45 AM (10 years ago)
Author:
krafczy
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Specification/RSF2DIMACS

    v20 v21  
    3434VARIABLE=n 
    3535}}} 
    36 Further, constraints must ensure that exactly one variable will be selected: 
     36Further, constraints must ensure that at most one variable will be selected: 
    3737* In DIMACS/Boolean formula: 
    3838{{{ 
    … …  
    4545Not(VARIABLE=value1) OR Not(VARIABLE=valueN) 
    4646}}} 
    47 All combinations of 2 negated variables + 1 constraint were all variables are used in a positive combination. 
     47All combinations of 2 negated variables. 
    4848=== Ranges === 
    4949Ranges of !Integers/Hex variables will not be considered. Since KConfig supports only == and != comparisons, only values used in constraints will be translated to DIMACS.