Changes between Version 23 and Version 24 of Specification/RSF2DIMACS
- Timestamp:
- Mar 10, 2015, 12:11:37 PM (10 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Specification/RSF2DIMACS
v23 v24 3 3 [[PageOutline(2-5, Table of Contents, pullout)]] 4 4 5 == Translation of Boolean and Tristate Variables==5 == Translation of ''Boolean'' and ''Tristate Variables'' == 6 6 When evaluating KConfig each variable is assigned a value; possible values are: 7 7 * 0: The variable is not selected (constant symbol: 'n')