minisat+ - mipsel
Documentation
Binaries