GitHub - janblumenkamp/bdd_golang: A BDD (binary decision diagram) implementation in Golang

Name	Name	Last commit message	Last commit date
Latest commit janblumenkamp Optimized eltype: not as string, but as int Feb 24, 2018 d2033b6 · Feb 24, 2018 History 37 Commits
robdd	robdd	Optimized eltype: not as string, but as int	Feb 24, 2018
src	src	bdd generation implemented	Feb 23, 2018
logicmerger.iml	logicmerger.iml	Initial logicmerger capable of generating product bdds	Jan 25, 2018