Skip to content

A
abc
Commit 78d60d98 by Alan Mishchenko
Options

Counter-example depth minimization.

parent 28e065b0
Showing with 4 additions and 0 deletions
abclib.dsp
......@@ -1411,6 +1411,10 @@ SOURCE=.\src\sat\bmc\bmcCexCut.c
# End Source File
# Begin Source File
SOURCE=.\src\sat\bmc\bmcCexDepth.c
# End Source File
# Begin Source File
SOURCE=.\src\sat\bmc\bmcCexMin1.c
# End Source File
# Begin Source File
......
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