CIRCT  19.0.0git
Classes | Namespaces
Solver.h File Reference
#include "circt/Support/LLVM.h"
#include "mlir/IR/MLIRContext.h"
#include "mlir/IR/Value.h"
#include <z3++.h>
Include dependency graph for Solver.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.


class  circt::Solver
 A satisfiability checker for circuit equivalence. More...


 This file defines an intermediate representation for circuits acting as an abstraction for constraints defined over an SMT's solver context.