Update (for cryptominisat).