SatMinisat_ptr SatMinisat_create( const char* name, boolean enable_proof_logging )
void SatMinisat_destroy( SatMinisat_ptr self )
SatZchaff_ptr SatZchaff_create( const char* name )
void SatZchaff_destroy( SatZchaff_ptr self )