tpdb-2.1.1: test/read_print_xml_relative.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/rel12.xml"
print $ pretty p
import TPDB.Data
import TPDB.Pretty
import TPDB.XTC
import TPDB.Plain.Write
import Control.Monad ( forM, void )
main = void $ do
p <- readProblemF "test/rel12.xml"
print $ pretty p