remove stray bin files for deprecated tools
add javadoc for SMTSolver class
temp staging commit
temp staging commit
temp staging commit