Geek Repo
Tackling algorithmic problems of mechanical keys and locks
Github PK Tool:Github PK Tool
A minimalistic and high-performance SAT solver
A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF
The #SAT solver sharpSAT
Logos etc. for the master-keying organisation