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/ -- devel mailing list devel@xxxxxxxxxxxxxxxxxxxxxxx http://lists.fedoraproject.org/admin/lists/devel@xxxxxxxxxxxxxxxxxxxxxxx
