SatZ is a well known SAT instance solver. It was developed by Prof. , a computer science researcher. The Z stands for the last version of SAT solvers. (en)
SatZ is a well known SAT instance solver. It was developed by Prof. , a computer science researcher. The Z stands for the last version of SAT solvers. (en)