cvc4-1.3
Data Structures
Here are the data structures with brief descriptions:
[detail level 1234]
 N__gnu_cxx
 NCVC3
 NCVC4