Integrating CVC4 and Alt-Ergo

Our integrator distribute the assignments through file formats and logics, as shown in the flow chart:
Picture
smt_integration.sh
File Size: 0 kb
File Type: sh
Download File

<<< Back to project page