feat(solver): Added flags for short_sat and enabled ICP to stop if constraint is SAT even if width is not small enough
feat(opensmt): implemented --short_sat flag
feat(test): added short_sat to testing

missed

missed

missed