circt::CadicalSATSolverOptions Struct Reference

#include <SATSolver.h>

Collaboration diagram for circt::CadicalSATSolverOptions:

Public Types
enum class	CadicalSolverConfig { Default , Plain , Sat , Unsat }

Public Attributes
CadicalSolverConfig	config = CadicalSolverConfig::Default

Detailed Description

Definition at line 195 of file SATSolver.h.

Member Enumeration Documentation

CadicalSolverConfig

enum class circt::CadicalSATSolverOptions::CadicalSolverConfig

strong

Enumerator
Default
Plain
Sat
Unsat

Definition at line 196 of file SATSolver.h.

Member Data Documentation

config

CadicalSolverConfig circt::CadicalSATSolverOptions::config = CadicalSolverConfig::Default

Definition at line 202 of file SATSolver.h.

---

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

• /home/runner/work/circt-www/circt-www/circt_src/include/circt/Support/SATSolver.h