Changes between Version 7 and Version 8 of Specification/RSF2DIMACS


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

--

Legend:

Unmodified
Added
Removed
Modified

  • Specification/RSF2DIMACS

    v7 v8  
    9393 
    9494== Ranges == 
    95 Ranges of Integers/Hex variables will not be considered. Since Kconfig supports only == and != comparisons, only values used inconstraints will be translated to DIMACS. 
     95Ranges of !Integers/Hex variables will not be considered. Since Kconfig supports only == and != comparisons, only values used inconstraints will be translated to DIMACS.