Haskell bindings to the SDD package
Primary LanguageHaskellBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause
http://reasoning.cs.ucla.edu/sdd/