Note, that we no longer provide bugs fixes, since CVC is now replaced by our new system, CVC Lite.

• Theory of Datatypes may be incomplete.
• Theory of Arithmetic is incomplete for finitely bound integers (finite subranges like [0..5].