Added API to sat check a collection of conjuncts in one go.