Package for doing reasoning using [Datalog] and [BDD]s. Principally to support tclquadcode, but potentially useful elsewhere too.

https://chiselapp.com/user/kbk/repository/tclbdd

---