formula_analyzer.h

Go to the documentation of this file.

#pragma once
 
#include <smtrat-common/smtrat-common.h>
#include <smtrat-analyzer/smtrat-analyzer.h>
 
namespace smtrat {
 
int analyze_file(const std::string& filename);
 
}