smt_shim.h File Reference

#include <ilang/ila/ast/func.h>
#include <ilang/ila/ast_hub.h>

Go to the source code of this file.

Classes
class	ilang::SmtShim< Generator >
	A templated class for wrapping z3 and smt-switch to provide a unified interface for different application, e.g., unroller. More...

Namespaces
	ilang

Detailed Description

Templated class SmtShim - higher-level wrapper for z3 and smt-switch.