Dimacs
Back to table
/*
LogicObject
Dimacs
[dimacs f]=Dimacs(inputindexes){ };
Define a SAT problem in the from of DIMACS
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
Advanced PermuteLogicFunction IsCovering IsEqual IsLinearFunction IsPositiveFunction IsSymmetricFunction And BDD FromBinary NineComplement StringToBinaryNumber Convert ToVariableInvertedFunction Email Get Nand MantissaToPositiveInteger MantissaToPositiveNumber PositiveIntegerToMantissa Radixes OrAnd real() Compatibility ShannonTree DontCare Shannon Utility ShannonExpansion Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.