summaryrefslogtreecommitdiffstats
path: root/abclib.dsp
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2021-05-08 14:00:32 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2021-05-08 14:00:32 -0700
commit13a0bb97b5d1f2d67088317655737e726a07cf04 (patch)
tree640563b73ae0ff65a9a99048dbf68a6bd1afcf68 /abclib.dsp
parent174f27d9813dede18e5c06fe8c98d6819ce49835 (diff)
downloadabc-13a0bb97b5d1f2d67088317655737e726a07cf04.tar.gz
abc-13a0bb97b5d1f2d67088317655737e726a07cf04.tar.bz2
abc-13a0bb97b5d1f2d67088317655737e726a07cf04.zip
Updating cost function in &save/&load.
Diffstat (limited to 'abclib.dsp')
-rw-r--r--abclib.dsp4
1 files changed, 4 insertions, 0 deletions
diff --git a/abclib.dsp b/abclib.dsp
index e7459ed5..c503a75a 100644
--- a/abclib.dsp
+++ b/abclib.dsp
@@ -5059,6 +5059,10 @@ SOURCE=.\src\aig\gia\giaMini.c
# End Source File
# Begin Source File
+SOURCE=.\src\aig\gia\giaMinLut.c
+# End Source File
+# Begin Source File
+
SOURCE=.\src\aig\gia\giaMuxes.c
# End Source File
# Begin Source File