GitHub - appu226/FactorGraph: Factor graph algorithm for existential quantification on boolean formulae

appu226 / FactorGraph Public

Notifications You must be signed in to change notification settings
Fork 1
Star 0

Factor graph algorithm for existential quantification on boolean formulae

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 304 Commits
Testing/Temporary		Testing/Temporary
blif_solve		blif_solve
blif_solve_lib		blif_solve_lib
cling		cling
cnf_dump		cnf_dump
dd		dd
dec_21		dec_21
experiments		experiments
factor_graph		factor_graph
factor_graph_main		factor_graph_main
jan_24		jan_24
may_22		may_22
mustool		mustool
oct_22		oct_22
qbf_solve		qbf_solve
scripts		scripts
test		test
var_score		var_score
.gitignore		.gitignore
CMakeLists.txt		CMakeLists.txt
LICENSE		LICENSE
README		README
temp.sh		temp.sh
temp_var_score_test.sh		temp_var_score_test.sh

Repository files navigation

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.