diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-02-28 18:45:44 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-02-28 18:45:44 -0800 |
| commit | 7e9f3f027b8de37480cc8dd6d3de17541a8caeba (patch) | |
| tree | f0df813a0dd7edef77ba3757493955f28c1e29fa /abclib.dsp | |
| parent | 33971604cf9187a473fa6de335e4849365bbf106 (diff) | |
| download | abc-7e9f3f027b8de37480cc8dd6d3de17541a8caeba.tar.gz abc-7e9f3f027b8de37480cc8dd6d3de17541a8caeba.tar.bz2 abc-7e9f3f027b8de37480cc8dd6d3de17541a8caeba.zip | |
Adding parameters and improvements to %blast.
Diffstat (limited to 'abclib.dsp')
| -rw-r--r-- | abclib.dsp | 12 |
1 files changed, 12 insertions, 0 deletions
@@ -5018,6 +5018,18 @@ SOURCE=.\src\aig\miniaig\minilut.h SOURCE=.\src\aig\miniaig\ndr.h # End Source File # End Group +# Begin Group "uap" + +# PROP Default_Filter "" +# Begin Source File + +SOURCE=.\src\aig\uap\uap.h +# End Source File +# Begin Source File + +SOURCE=.\src\aig\uap\uapSat.c +# End Source File +# End Group # End Group # Begin Group "bool" |