Dimacs
Back to table
/*
LogicObject
Dimacs
[dimacs f]=Dimacs(inputindexes){ };
Define a SAT problem in the from of DIMACS
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
Advanced IsNegativeUnateFunctionTo IsParityFunction IsSelfDualFunction BinaryNumberToString GrayCode StringToBinaryNumber binaryioset ToShannonTree ToVariableInvertedFunction ToXORP DigitalSystem Email Eq Equiv RadixToIndex real() SOP To2LayerAndOr To2LayerAndXor ShortestInputsForTransition Assign InputVariables string GetSubTable ComputeDONTCARE CreateDummyLogicFunction var() XORP Zero