Llvm2smt
Transform an llvm graph into an smt formula.
Llvmcfg
Ocamlgraph persistent overlay for llvm.
Smtgraph
Graph of formulas