Dimacs
Back to table
/*
LogicObject
Dimacs
[dimacs f]=Dimacs(inputindexes){ };
Define a SAT problem in the from of DIMACS
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsBiUnateFunction IsBlankFunction IsParityFunction IsPositiveFunction IsSymmetricFunction MaxValue StringToBinaryNumber TwoComplement ToOrAnd ToDiagram Diagram DigitalSystem long minterm NumberSystem PositiveDecimalToMantissa One To2LayerOrAnd Solve Save Sequential TransitionSeries DontCare Full IndependentBase Normalization Substitute var XORP Zero