libcprover-cpp
util
