/examples/
../
CMakeLists.txt
README
SimpleVC.java
SimpleVC.ml
SimpleVC.php
SimpleVC.pl
SimpleVC.py
SimpleVC.rb
SimpleVC.tcl
api
hashsmt
nra-translate
sets-translate
simple_vc_cxx.cpp
simple_vc_quant_cxx.cpp
translator-example-input.smt2
translator.cpp