minisat@i5-2410M
Source Code
Rating: 1821
Minisat running on my old laptop.
Minisat running on my old laptop.