Dimacs
Back to table
/*
LogicObject
Dimacs
[dimacs f]=Dimacs(inputindexes){ };
Define a SAT problem in the from of DIMACS
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
Analysis IsLinearFunction IsZeroFunction ToAndOr AbsoluteExpression BinaryNumberToString OneComplement bool Convert ToPOS long() MantissaToPositiveDecimal MostSignificantDigit PositiveNumberToMantissa One real() real To2LayerNor Forwardly SimpleInner string TimingChart GetNegativeLogicFunction GetSubTable AdjustLogicVariableCount ComputeDONTCARE ComputeFunctionOrder CreateDummyLogicFunction XORP Zero