Ito ang command na dfg2otter na maaaring patakbuhin sa OnWorks na libreng hosting provider gamit ang isa sa aming maramihang libreng online na workstation gaya ng Ubuntu Online, Fedora Online, Windows online emulator o MAC OS online emulator
PROGRAMA:
NAME
dfg2otter - binabago ang DFG clause file sa Otter na format
SINOPSIS
dfg2otter [mga pagpipilian]
DESCRIPTION
dfg2otter ay isang C-program upang baguhin ang mga file ng input ng problema Dfg syntax sa otter Syntax.
Tinatanggap nito ang lahat ng mga opsyon mula sa SPASS, bagama't isang subset lamang ang may epekto sa pagsasalin.
dfg2otter tinatanggihan ang mga formula ng haka-haka ng SPASS input file bago i-print ang Otter
magagamit na listahan. Ang SPASS Ang listahan ng formula ng haka-haka ay isinalin sa isang disjunction ng
tinatanggihan ang iisang haka-haka. Kung ang SPASS input file consits ng clauses, ang mga ito ay hindi
binago
Gumamit ng dfg2otter online gamit ang mga serbisyo ng onworks.net
