Dimacs
Back to table
/*
LogicObject
Dimacs
[dimacs f]=Dimacs(inputindexes){ };
Define a SAT problem in the from of DIMACS
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsBiUnateFunctionTo IsNegativeUnateFunctionTo IsParityFunction BDD Binary List BCDEx3 BinaryNumberToString OneComplement TwoComplement binaryioset AddXorTerm ToNotFunction ToShannonTree Imply list() long() minterm() Not RadixToIndex SAT MaxSAT Solve AutoAssignInputAndStateVariables InputVariables OutputAndStateBasedly Canonical Full SimpleInner Zero