K 10
svn:author
V 5
lwhsu
K 8
svn:date
V 27
2013-11-13T15:55:09.746170Z
K 7
svn:log
V 79
- Try to fix build with USE_GCC, anyway, cvc4 is out and would be ported later

END