DFG2OTTER(1) SPASS DFG2OTTER(1)NAME
dfg2otter - transforms DFG clause files into Otter format
SYNOPSIS
dfg2otter [options] <infile> <outfile>
DESCRIPTION
dfg2otter is a C-program to transform problem input files in DFG syntax into Otter syntax. It accepts all options from SPASS, although only
a subset has an effect on translation.
dfg2otter negates conjecture formulae of the SPASS input file before printing the Otter usable list. The SPASS conjecture formula list is
translated into a disjunction of the negated single conjectures. If the SPASS input file consits of clauses, these are not modified.
SEE ALSO checkstat(1), filestat(1), pcs(1), pgen(1), rescmp(1), tpform(1), tpget(1), deprose(1), dfg2otter.pl(1), SPASS(1)AUTHORS
Thomas Hillenbrand, Dalibor Topic and Christoph Weidenbach
Contact : spass@mpi-inf.mpg.de
perl v5.10.0 2010-02-23 DFG2OTTER(1)
Hi all,
Can you please let me know how to achieve the below thing
AAABBCC@#$W123
123@#$DFG<>.
Output:
AAABBCW123
123DFG
i.e I want to filer only alphanumerics from the strings (4 Replies)
Greetings friends, I was looking for something about <i>Lua Script Language<i/> and I didn'y find anything, and then I had a thought that It'd be easy if in the Programming Topic there are subtopics with is organized by programming languages.
Just a thought (0 Replies)
One more detail, since I never was interested in netflix or hulu. But since netflix started to make it harder for so called thugs, I see in iceweasel, firefox, konqueror, qupzilla (did not try Otter or Midori) that any adblocking policy or addon just slams down my browser immediately. Only chrome... (3 Replies)