wehu/grcv

A random constraint verification library based on proto and buddy

C++