Dimacs
Back to table
/*
LogicObject
Dimacs
[dimacs f]=Dimacs(inputindexes){ };
Define a SAT problem in the from of DIMACS
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsSelfDualFunction binary() MinValue Convert ToAndXor ToDualFunction ToTruthTable DigitalSystem ExcitationTable long() minterm() Nor NumberSystem PermutationMatrix Print Save Assign StateTransitionBasedly Fast SimpleInner StateDeviceName GetDontCareLogicFunction GetNegativeLogicFunction GetSubTable RandomGenerate AdjustLogicVariableCount IndependentBase SemanticEval Xor Zero