This is a translator from input files of alt-ergo to why3.
users can use "make" to install it.
For an input file a.why of alt-ergo, you can translate it to why3 input files by using the following commands:
$ae2why3 a.why you will get why3_a.why
$ae2why3 a.why b.why you will get b.why