Dimacs
Back to table
/*
LogicObject
Dimacs
[dimacs f]=Dimacs(inputindexes){ };
Define a SAT problem in the from of DIMACS
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
MatchLogicFunction PermuteLogicFunction IsSelfAntiDualFunction Binary FromBinary List MaxValue MinValue BinaryNumberToString PureBinary binary ToAndXor ToOrAnd ToDualFunction ToShannonTree ToSOP Load MantissaToPositiveNumber object MaxSAT Sequential HuffmanMealy Canonical SimpleCover StateTransition AdjustLogicVariableCount SemanticEval ShrinkLogicFunction var() Zero