smt_solver::SolverConfiguration Struct Reference

Solver configuration. More...

#include <solver.hpp>

Public Attributes
bool	produce_model
uint64_t	timeout

Detailed Description

Solver configuration.

Parameters

produce_model	tells the solver to actually compute the values of the variables in SAT case.
timeout	tells the solver to stop trying after timeout msecs.

Todo:

TODO(alex): more cvc5 options.

---

The documentation for this struct was generated from the following file:

• src/barretenberg/smt_verification/solver/solver.hpp