Dimacs
Back to table
/*
LogicObject
Dimacs
[dimacs f]=Dimacs(inputindexes){ };
Define a SAT problem in the from of DIMACS
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
Advanced IsBiUnateFunctionTo IsNegativeUnateFunctionTo IsSymmetricFunctionTo ToBinary OneComplement PureBinary Diagram FeedbackDiagram FeedbackSystem logicvardef NumberSystem MantissaToPositiveInteger MantissaToPositiveNumber PositiveDecimalToMantissa PositiveIntegerToMantissa Realization To2LayerAndOr SAT MaxSAT TransitionSeries CreateCompactTableWithFullSimplification HuffmanMealy Fast MultiCover Shannon AdjustLogicVariableCount ComputeFunctionOrder Substitute Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.