satgen.h File Reference

#include "kernel/rtlil.h"
#include "kernel/sigtools.h"
#include "kernel/celltypes.h"
#include "kernel/macc.h"
#include "libs/ezsat/ezminisat.h"

Include dependency graph for satgen.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
struct	SatGen

Variables
YOSYS_NAMESPACE_BEGIN typedef ezMiniSAT	ezDefaultSAT

Variable Documentation

YOSYS_NAMESPACE_BEGIN typedef ezMiniSAT ezDefaultSAT

Definition at line 32 of file satgen.h.