We only support a few SMT theories at the moment. We should extend this! Some that come to mind are: - Sequences - Strings and RegEx - ADTs - Floating Point Numbers
We only support a few SMT theories at the moment. We should extend this! Some that come to mind are: