tclbdd

Package for doing reasoning using Datalog and BDDs. Principally to support tclquadcode, but potentially useful elsewhere too.

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