BMC on Groover