GitHub - lkwbr/reachable-bdd: Multithreaded solution for determining (stepwise) reachability between two nodes within some Binary Decision Diagram (BDD).

Name		Name	Last commit message	Last commit date
Latest commit History 13 Commits
graphs		graphs
out		out
src		src
description.pdf		description.pdf
run		run

About

Multithreaded solution for determining (stepwise) reachability between two nodes within some Binary Decision Diagram (BDD).

No releases published

No packages published