Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
cvc4-synthesis [2015/05/24 17:27] vkuncak |
cvc4-synthesis [2015/05/24 17:28] vkuncak |
||
|---|---|---|---|
| Line 8: | Line 8: | ||
| ==== Solver ==== | ==== Solver ==== | ||
| - | The .tgz containing the binary of CVC4 used in our experiments can be found here: [[http://lara.epfl.ch/~reynolds/CAV2015-synth/cvc4-sygus.zip|cvc4-sygus.zip]] | + | The zip archive containing the binary of CVC4 used in our experiments can be found here: [[http://lara.epfl.ch/~reynolds/CAV2015-synth/cvc4-sygus.zip|cvc4-sygus.zip]] |
| * Configuration cvc4+sg from the paper is enabled by command line parameters "--cegqi --dump-synth". | * Configuration cvc4+sg from the paper is enabled by command line parameters "--cegqi --dump-synth". | ||