This is a redistributable file containing binaries for Why3, E 2.0, CVC4 1.4 & 1.6 and CVC3,
compiled and executable on Debian 10 (buster), provided the following packages are installed:

libc6:amd64
libgcc1:amd64
libgomp1:amd64
libstdc++6:amd64
zlib1g:amd64

Run why3 config --detect after adding /bin to your PATH. 

Then please add the following declaration to $HOME/.why3.conf:

[prover]
alternative = "noBV"
command = "cvc4 --tlimit-per=%t000 --lang=smt2 %f"
driver = "cvc4"
editor = ""
in_place = false
interactive = false
name = "CVC4"
version = "1.6"


Note that you will need to set LD_LIBRARY_PATH to ./lib to run `why3 ide'

The sources from which these files are compiled, are contained in ./src
