Experimental implementation of decision diagrams (OBDDs, SDDs, PSDDs) in Scala. This code is not ready to be used, for any purpose.
To set up an Eclipse environment, run sbt eclipse.
To update the license header, run compile:headerCreate and test:headerCreate