tpdb-2.1.0: test/read_print_xml_theory.hs

import TPDB.Data
import TPDB.Pretty
import TPDB.XTC
import TPDB.Plain.Write

import Control.Monad ( forM, void )

main = void $ do
    p <- readProblemF "test/AC09.xml"
    print $ pretty p
    print $ full_signature p