N
Naps
Nagoya PSudo-Boolean solver
Read more