How to build: scripts/build.sh How to rebuild: scripts/rebuild.sh How to test: scrips/smoke_launch.sh Components: dd : A wrapper around cudd, exposing select functionality to cpp factor_graph : A library providing the factor_graph and SRT data structures and functions. factor_graph_main : An executable for interactively building/modifying factor_graphs. qbf_solve : An executable for solving a problem in qdimacs format.