Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Command-line TPTP tools not working?

Email Gateway (Aug 22 2022 at 10:58):

From: Maximilian Claus <maximilian@zedat.fu-berlin.de>
Hi all!

I would like to use Isabelle's command-line tools to convert a problem
from TPTP TH0 to FOF format. This is what I get:

$ isabelle tptp_translate FOF problem.p
Unknown logic "HOL-TPTP" -- no heap file found in:
/Users/Max/.isabelle/Isabelle2015/heaps/polyml-5.5.2_x86-darwin

/Applications/Dev/Isabelle.app/Contents/Resources/Isabelle2015/heaps/polyml-5.5.2_x86-darwin

I get a similar message for tptp_nitpick, both for Isabelle2014 and
Isabelle2015 on two different OS X systems. Unfortunately I can't test
it on another system myself. Am I maybe doing something wrong?

Cheers,
Max

Last updated: Apr 24 2024 at 08:20 UTC