An encoding of the Boolean co-clone lattice in Prolog, with tools for constructing weak bases.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool