Skip to content

A
abc
Commit 4cf046c9 by Alan Mishchenko
Options

Clone of the main SAT solver to eneable independent work.

parent 59348e22
Showing with 2 additions and 0 deletions
src/aig/gia/module.make
...@@ -60,6 +60,7 @@ SRC += src/aig/gia/giaAig.c \ ...@@ -60,6 +60,7 @@ SRC += src/aig/gia/giaAig.c \
src/aig/gia/giaSatLut.c \ src/aig/gia/giaSatLut.c \
src/aig/gia/giaSatMap.c \ src/aig/gia/giaSatMap.c \
src/aig/gia/giaSatoko.c \ src/aig/gia/giaSatoko.c \
src/aig/gia/giaSat3.c \
src/aig/gia/giaScl.c \ src/aig/gia/giaScl.c \
src/aig/gia/giaScript.c \ src/aig/gia/giaScript.c \
src/aig/gia/giaShow.c \ src/aig/gia/giaShow.c \
......
src/sat/bsat/module.make
...@@ -7,6 +7,7 @@ SRC += src/sat/bsat/satMem.c \ ...@@ -7,6 +7,7 @@ SRC += src/sat/bsat/satMem.c \
src/sat/bsat/satSolver.c \ src/sat/bsat/satSolver.c \
src/sat/bsat/satSolver2.c \ src/sat/bsat/satSolver2.c \
src/sat/bsat/satSolver2i.c \ src/sat/bsat/satSolver2i.c \
src/sat/bsat/satSolver3.c \
src/sat/bsat/satStore.c \ src/sat/bsat/satStore.c \
src/sat/bsat/satTrace.c \ src/sat/bsat/satTrace.c \
src/sat/bsat/satTruth.c \ src/sat/bsat/satTruth.c \
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment