SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
cnf_conversion.h
Go to the documentation of this file.
1 #pragma once
2 
3 #include <string>
4 
5 namespace smtrat {
6 
7 int convert_to_cnf_dimacs(const std::string& filename, const std::string& outfile);
8 int convert_to_cnf_smtlib(const std::string& filename, const std::string& outfile);
9 
10 }
smtrat
Class to create the formulas for axioms.
Definition: handle_options.h:10
smtrat::convert_to_cnf_dimacs
int convert_to_cnf_dimacs(const std::string &, const std::string &)
Definition: cnf_conversion.cpp:58
smtrat::convert_to_cnf_smtlib
int convert_to_cnf_smtlib(const std::string &, const std::string &)
Definition: cnf_conversion.cpp:63