CVC3
2.4.1
|
#include "theory_core.h"
#include "theorem_manager.h"
#include "common_proof_rules.h"
#include "command_line_flags.h"
#include "theory_arith.h"
#include <fstream>
Go to the source code of this file.
#define _CVC3_TRUSTED_ |