Dimacs
Back to table
/*
LogicObject
Dimacs
[dimacs f]=Dimacs(inputindexes){ };
Define a SAT problem in the from of DIMACS
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
MatchLogicFunction IsBiUnateFunction IsBiUnateFunctionTo IsOneFunction IsSymmetricFunction IsSymmetricFunctionTo IsZeroFunction BCDEx3 ToAndXor ToDualFunction FeedbackSystem list() Get Radixes real Realization ToFullAnd MaxSAT Solve TransitionSeries Backwardly ToFeedbackSystem CreateCompactTableWithFullSimplification HuffmanMealy BestVariableOrder Canonical DontCare string() GetPositiveLogicFunction Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.