CVC4/CVC4 — pull request #1 by dddejan (2012-12-12 22:29:52+00:00)
Title: * fixed bug 481 by adding check for division by 0 in bit-vector division...

... circuit

* added printing for total bit-vector division kinds for debugging purposes