ansi-c # should go away
goto-checker
goto-instrument
goto-programs
goto-symex
java_bytecode
jbmc
json
langapi # should go away
linking
pointer-analysis
solvers
solvers/refinement
solvers/prop
solvers/sat
solvers/strings
util
xmllang
