Dimacs
Back to table
/*
LogicObject
Dimacs
[dimacs f]=Dimacs(inputindexes){ };
Define a SAT problem in the from of DIMACS
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsEqual IsSelfAntiDualFunction IsSymmetricFunctionTo BDD AbsoluteExpression StringToBinaryNumber binary bool() ToAndXor ToShannonTree Email Imply Count RadixFromIndex RadixToIndex object() object PermutationMatrix Realization MaxSAT Assign Backwardly Simplification FullTable HuffmanMealy StateTransition TimingChart CreateFromLogicFunctions Utility Zero