Added CVC3 and CVC4 bindings