Hi Emilio,
Thanks a lot for your answer, it helped me a lot.
The problem was (a) not calling Whyconf.load_plugins in my script; (b)
the script was looking for tptp.cmo in /usr/local/lib/why3/plugins,
which was not there (as the folder contained only *.cmxs files). Had
to copy them from ~/w
Hi Anton,
> I get the message 'Fatal error: exception
> Printer.UnknownPrinter("tptp-fof")' when try to call the E prover from
In my case, I have found this problem to be caused by:
- Not calling Whyconf.load_plugins in my program.
- Having an incorrect ~/.why3.conf [plugin = //tptp] shoul
Hi,
I get the message 'Fatal error: exception
Printer.UnknownPrinter("tptp-fof")' when try to call the E prover
from the API, although it seem to work fine in Why3 IDE. Similar
problem was discussed here
http://lists.gforge.inria.fr/pipermail/why3-club/2013-July/000724.html
Why3 versi