/examples/
../
Makefile
Makefile.am
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.cpp