mirror of
https://github.com/YosysHQ/yosys
synced 2026-05-25 11:26:22 +00:00
16 lines
232 B
CMake
16 lines
232 B
CMake
yosys_backend(smt2
|
|
smt2.cc
|
|
REQUIRES
|
|
json11
|
|
DATA_DIR
|
|
python3
|
|
DATA_FILES
|
|
smtio.py
|
|
ywio.py
|
|
REQUIRES
|
|
bmuxmap
|
|
demuxmap
|
|
)
|
|
|
|
yosys_python_executable(yosys-smtbmc smtbmc.py)
|
|
yosys_python_executable(yosys-witness witness.py)
|