This is your work, valued
Ningbo University Integrated System Laboratory
also. A logic synthesis tool
cirsat. A circuit-based Boolean satisfiability (SAT) solver
stp. C++
