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

<<categories>>Package