Changes between Version 6 and Version 7 of Specification/RSF2DIMACS


Ignore:
Timestamp:
Sep 24, 2014, 3:01:39 PM (10 years ago)
Author:
elshar
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Specification/RSF2DIMACS

    v6 v7  
    9191Not(TRISTATE_VAR_MODULE) or Not(CONDITION) or OTHER_VAR_MODULE 
    9292}}} 
     93 
     94== Ranges == 
     95Ranges of Integers/Hex variables will not be considered. Since Kconfig supports only == and != comparisons, only values used inconstraints will be translated to DIMACS.