SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
preprocessor.h
Go to the documentation of this file.
1 #pragma once
2 
3 #include <string>
4 
5 namespace smtrat {
6 
7 /**
8  * Loads the smt2 file specified in filename and runs the preprocessing strategy.
9  * The resulting (simplified) problem is written to outfile (or stdout if outfile is empty).
10  */
11 int preprocess_file(const std::string& filename, const std::string& outfile);
12 
13 }
smtrat
Class to create the formulas for axioms.
Definition: handle_options.h:10
smtrat::preprocess_file
int preprocess_file(const std::string &, const std::string &)
Loads the smt2 file specified in filename and runs the preprocessing strategy.
Definition: preprocessor.cpp:121