mpicosat
msvc
oracle
pycryptosat
