Dimacs
Back to table
/*
LogicObject
Dimacs
[dimacs f]=Dimacs(inputindexes){ };
Define a SAT problem in the from of DIMACS
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsBiUnateFunction IsEqual IsParityFunction IsPositiveFunction IsPositiveUnateFunctionTo IsSymmetricFunction IsSymmetricFunctionTo And AndXor ToAndOr FromBinary PureBinary ToTruthTable Equiv long MantissaToPositiveNumber RadixToIndex OrAnd Realization To2LayerOrAnd To2LayerAndOr SAT CreateCompactTable BestVariableOrder FastVerificationData TruthTable RandomGenerate var XORP Zero