luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

More changes.

This commit is contained in:
Alan Mishchenko 2024-03-02 17:03:42 -08:00
parent b627aa7cb5
commit b73f1030a6
1 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/sat/bsat2/module.make
View File

@ -1,6 +1,4 @@
SRC += src/sat/bsat2/AbcApi.cpp \
src/sat/bsat2/MainSat.cpp \
src/sat/bsat2/MainSimp.cpp \
src/sat/bsat2/Options.cpp \
src/sat/bsat2/SimpSolver.cpp \
src/sat/bsat2/Solver.cpp \