There are some things that would be nice to customize for the evaluation. They should be available both as a global plugin flag and inside of an ANN. Here are the ones I have in mind for now:
- Select the solver to use
- Emit debug output of SMT solver
- Disable annotation
- Measure solver time
There are likely a bunch more that are interesting!
There are some things that would be nice to customize for the evaluation. They should be available both as a global plugin flag and inside of an ANN. Here are the ones I have in mind for now:
There are likely a bunch more that are interesting!