Dimacs
Back to table
/*
LogicObject
Dimacs
[dimacs f]=Dimacs(inputindexes){ };
Define a SAT problem in the from of DIMACS
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsBiUnateFunction IsBiUnateFunctionTo IsPositiveUnateFunctionTo IsUnateFunction Binary ToBinary OneComplement binary Convert ToDualFunction Diagram FeedbackDiagram minterm RadixToIndex Or SOP Sequential TransitionSeries StateVariables To2layerOrAnd Compatibility HuffmanMealy StateDeviceName CreateFromLogicFunctions GetDontCareLogicFunction GetSubTable Utility ComputeDONTCARE IndependentBase Zero