Much improved bounded model checking. Still need to speed up formula generation since that is where most of the time is spent.
Much improved bounded model checking. Still need to speed up formula generation since that is where most of the time is spent.

JoeOsborn/hyped,JoeOsborn/hyped