Use proper fields for handling install/deinstall.
Call for the internal SAT solver.