Allow solution to be iterated by converting instances to a formula, for engines without incremental solving.