diff options
| author | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-03-23 07:42:48 +0000 |
|---|---|---|
| committer | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-04-04 22:13:25 +0000 |
| commit | fb878b2a70c8e8e8201a3b4581a07839d7c1261c (patch) | |
| tree | 0a4fc1c038bf198ce6cf6e719628cb7fd6d23989 /passes/sat/Makefile.inc | |
| parent | a0416fe1675665f10aa4379a750e0527494e6b74 (diff) | |
| download | yosys-fb878b2a70c8e8e8201a3b4581a07839d7c1261c.tar.gz yosys-fb878b2a70c8e8e8201a3b4581a07839d7c1261c.tar.bz2 yosys-fb878b2a70c8e8e8201a3b4581a07839d7c1261c.zip | |
Initial skeleton for `qbfsat` command.
Diffstat (limited to 'passes/sat/Makefile.inc')
| -rw-r--r-- | passes/sat/Makefile.inc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/passes/sat/Makefile.inc b/passes/sat/Makefile.inc index 4bb4b0edc..a928c57de 100644 --- a/passes/sat/Makefile.inc +++ b/passes/sat/Makefile.inc @@ -13,4 +13,5 @@ OBJS += passes/sat/fmcombine.o OBJS += passes/sat/mutate.o OBJS += passes/sat/cutpoint.o OBJS += passes/sat/fminit.o +OBJS += passes/sat/qbfsat.o |