Skip to content
Experimental implementation of decision diagrams (OBDDs, SDDs, PSDDs) in Scala.
Scala
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
project
src
.gitignore
.travis.yml
LICENSE
README.md
build.sbt

README.md

ScalaDD Build Status

Experimental implementation of decision diagrams (OBDDs, SDDs, PSDDs) in Scala. This code is not ready to be used, for any purpose.

Development Setup

To set up an Eclipse environment, run sbt eclipse.

To update the license header, run compile:headerCreate and test:headerCreate

You can’t perform that action at this time.