msvc
oracle
picosat
pycryptosat
