Rechercher une page de manuel
dfg2ascii
Langue: en
Version: 2003-04-29 (debian - 07/07/09)
Section: 1 (Commandes utilisateur)
NAME
dfg2ascii - transforms DFG files into pretty printed ASCII filesSYNOPSIS
dfg2ascii <infile>DESCRIPTION
dfg2ascii is a program to convert a problem input file in DFG format into pretty-printed ASCII text. It prints out the axioms and the conjectures, in that order.SEE ALSO
checkstat(1), filestat(1), pcs(1), pgen(1), rescmp(1), tpform(1), tpget(1), deprose(1), dfg2otter(1), SPASS(1)AUTHORS
Thomas Hillenbrand, Dalibor Topic and Christoph Weidenbach.Contact : Christoph Weidenbach <weidenb@mpi-sb.mpg.de>, Thomas Hillenbrand <hillen@mpi-sb.mpg.de>
Contenus ©2006-2024 Benjamin Poulain
Design ©2006-2024 Maxime Vantorre