Closed ajreynol closed 2 years ago
This was an old utility for auto-generating proof printing code to be incorporated in an SMT solver. This approach is no longer used.
Also cleans up some warnings about copying iterators.
This was an old utility for auto-generating proof printing code to be incorporated in an SMT solver. This approach is no longer used.
Also cleans up some warnings about copying iterators.