We address that by designing an efficient counter-example-guidedsearch procedure. More specifically, Snowcap greedily builds a re-configuration ordering leveraging the hard and soft specificationsto guide the search.
