Introduction - If you have any usage issues, please Google them yourself
ZChaff SAT solver is a test circuit nodes contain relationship tool, it needs to transform circuit description into Conjunctive Normal Form format (Conjunctive Normal Form, CNF).