Author patrik
Recipients gabi, malte, patrik
Date 2014-08-18.04:58:24
Just to clarify: This is only a translator issue? In other words, provided a
"direct" translation of axioms (i.e., just grounding and simplifying them to the
required form), the basic search framework (successor generator, etc) should work?

From our perspective, the best (short-term) fix may be to dust off one of my
alternative translators and bring it up to date with the current FDR format.
Date User Action Args
2014-08-18 04:58:24patriksetmessageid: <>
2014-08-18 04:58:24patriksetrecipients: + patrik, malte, gabi
2014-08-18 04:58:24patriklinkissue453 messages
2014-08-18 04:58:24patrikcreate