analyses
goto-programs
langapi # should go away
pointer-analysis
solvers/bdd
solvers/prop
util
