The cvc3 package was superceded by cvc4 quite awhile ago, but I have
kept it around because the why package was using it. Now the why
package has other alternatives, such as z3, so I intend to finally
retire cvc3, in F-24+ only. I will do so in about a week unless
someone has a reason to keep it around. Regards,
--
Jerry James
http://www.jamezone.org/