Dimacs
Back to table
/*
LogicObject
Dimacs
[dimacs f]=Dimacs(inputindexes){ };
Define a SAT problem in the from of DIMACS
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
PermuteLogicFunction IsBiUnateFunctionTo IsBlankFunction IsSymmetricFunction BCDEx3 binaryioset() bool() ToPOS Email ExcitationTable long() object() Realization SOP To2LayerAndXor SAT Solve Backwardly StateVariables CreateCompactTable ROBDD DontCare MultiCover TimingChart Normalization ShannonExpansion Substitute var() var Zero