PAKCS
Exported names: Imported modules:

Module Language.SMTLIB.Files

This module provides some file operations for SMT-LIB.

Author: Jan Tikovsky

Version: December 2017

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

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