Changes between Version 23 and Version 24 of Specification/RSF2DIMACS


Ignore:
Timestamp:
Mar 10, 2015, 12:11:37 PM (9 years ago)
Author:
krafczy
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Specification/RSF2DIMACS

    v23 v24  
    33[[PageOutline(2-5, Table of Contents, pullout)]] 
    44 
    5 == Translation of Boolean and Tristate Variables == 
     5== Translation of ''Boolean'' and ''Tristate Variables'' == 
    66When evaluating KConfig each variable is assigned a value; possible values are: 
    77* 0: The variable is not selected (constant symbol: 'n')