Master keying enthusiasts

Tackling algorithmic problems of mechanical keys and locks

Pinned Repositories

branding
Logos etc. for the master-keying organisation
0 2 00
minisat
A minimalistic and high-performance SAT solver
Language:C++142 5 516
pblib
A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF
Language:C++17 4 14
sharpSAT
The #SAT solver sharpSAT
Language:C++3 5 81

Master keying enthusiasts's Repositories

master-keying/minisat
A minimalistic and high-performance SAT solver
Language:C++142 5 516
master-keying/pblib
A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF
Language:C++17 4 14
master-keying/sharpSAT
The #SAT solver sharpSAT
Language:C++3 5 81
master-keying/branding
Logos etc. for the master-keying organisation
0 2 00