saigBmc3.c
40.5 KB
-
Improvements to 'bmc3' (start frame; stop when all POs are SAT; stop when… · 0d65c490Improvements to 'bmc3' (start frame; stop when all POs are SAT; stop when 2^nRegs frames are completed).
Alan Mishchenko committed
Improvements to 'bmc3' (start frame; stop when all POs are SAT; stop when 2^nRegs frames are completed).