SatZ is a well known SAT instance solver. It was developed by Prof. Chu Min Li, a computer science researcher. The Z stands for the last version of SAT solvers.
References
Satz (SAT solver) Wikipedia(Text) CC BY-SA
Satz (SAT solver)
Updated on
Edit
Like
Comment
Similar Topics