این دستور tptp2dfg است که می تواند در ارائه دهنده هاست رایگان OnWorks با استفاده از یکی از چندین ایستگاه کاری آنلاین رایگان ما مانند Ubuntu Online، Fedora Online، شبیه ساز آنلاین ویندوز یا شبیه ساز آنلاین MAC OS اجرا شود.
برنامه:
نام
tptp2dfg - فایل های DFG را به فایل های TPTP تبدیل می کند
خلاصه
tptp2dfg [-عبارتند از]
شرح
tptp2dfg برنامه ای است که فایل ورودی مشکل را به آن تبدیل می کند TPTP تبدیل به یک مشکل
فایل ورودی در DFG قالب در TPTP فرمت مشکل توسط کتابخانه TPTP آزمون استفاده می شود
مشکلات برای اثبات قضیه خودکار، موجود در http://www.math.miami.edu/~tptp/.
OPTIONS
tptp2dfg از گزینه های خط فرمان زیر پشتیبانی می کند.
-عبارتند از
این گزینه گسترش دستورالعمل های شامل در فایل های tptp را فعال می کند. اگر همه را تنظیم کنید
TPTP شامل دستورات در فایل ورودی hte با محتوای فایل مربوطه جایگزین می شود
در حین ترجمه اگر تنظیم نشده باشد دستورالعمل های TPTP شامل به DFG ترجمه می شود
بخشنامه ها را شامل شود. پیش فرض خاموش است.
از tptp2dfg به صورت آنلاین با استفاده از خدمات onworks.net استفاده کنید
