ABC: A System for Sequential Synthesis and Verification
Loading...
Searching...
No Matches
build.h
Go to the documentation of this file.
1
#include "
global.h
"
2
ABC_NAMESPACE_HEADER_START
3
4
#define VERSION ""
5
#define COMPILER ""
6
#define ID ""
7
#define BUILD ""
8
#define DIR ""
9
10
ABC_NAMESPACE_HEADER_END
ABC_NAMESPACE_HEADER_END
#define ABC_NAMESPACE_HEADER_END
Definition
abc_namespaces.h:51
ABC_NAMESPACE_HEADER_START
#define ABC_NAMESPACE_HEADER_START
NAMESPACES ///.
Definition
abc_namespaces.h:50
global.h
src
sat
kissat
build.h
Generated by Doxygen 1.13.2 © 2025 EPTansuo. All rights reserved.
鲁ICP备2021046540号