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 ()  Deterministic 
Dump an SMT-LIB script to the hidden folder .smt in the current directory
writeSMT :: String -> [Command] -> IO ()  Deterministic 
Write an SMT-LIB script to a file

Exported operations:

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

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

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

Write an SMT-LIB script to a file