Package for doing reasoning using Datalog and BDDs. Principally to support tclquadcode, but potentially useful elsewhere too.
https://chiselapp.com/user/kbk/repository/tclbdd