Dimacs
Back to table
/*
LogicObject
Dimacs
[dimacs f]=Dimacs(inputindexes){ };
Define a SAT problem in the from of DIMACS
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsLinearFunction IsPositiveUnateFunctionTo IsSelfDualFunction And BDD binary AddXorTerm ToDualFunction Diagram Equiv ExcitationTable LogicScript Nor RadixFromIndex object() object PermutationMatrix ToFullAnd Solve InputVariables CreateCompactTableWithFullSimplification GetExcitationTable HuffmanMealy BestVariableOrder Fast Full ShannonExpansion ShrinkLogicFunction var Zero