Module Language.SMTLIB.Files

This module provides some file operations for SMT-LIB.

Author: Jan Tikovsky

Version: May 2021

Summary of exported operations:

writeSMTDump
                  ::  String -> [Command] -> IO ()

Dump an SMT-LIB script to the hidden folder .smt in the current directory

writeSMT
                  ::  String -> [Command] -> IO ()

Write an SMT-LIB script to a file

writeSMTDump :: String -> [Command] -> IO ()

Dump an SMT-LIB script to the hidden folder .smt in the current directory

writeSMT :: String -> [Command] -> IO ()

Write an SMT-LIB script to a file