solver.hpp File Reference

#include <string>
#include <unordered_map>
#include <cvc5/cvc5.h>
#include "barretenberg/ecc/curves/bn254/fr.hpp"

Go to the source code of this file.

Classes
struct	smt_solver::SolverConfiguration
	Solver configuration. More...
class	smt_solver::Solver
	Class for the solver. More...

Namespaces
namespace	smt_solver

Variables
const SolverConfiguration	smt_solver::default_solver_config
const SolverConfiguration	smt_solver::ultra_solver_config
const SolverConfiguration	smt_solver::split_gb_solver_config
const SolverConfiguration	smt_solver::debug_solver_config