Use picosat incremental solver
From Picosat version 965 it supports incremental solver. That might be more suitable then just using current assumption/clause way. Investigate header ipasir.h and maybe re-implement low part of updater's dependencies resolution code.