Updates (minisat, glucose).