8000 Master keying enthusiasts · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
@master-keying

Master keying enthusiasts

Tackling algorithmic problems of mechanical keys and locks

Popular repositories Loading

  1. minisat minisat Public

    Forked from niklasso/minisat

    A minimalistic and high-performance SAT solver

    C++ 144 14

  2. pblib pblib Public

    A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF

    C++ 18 6

  3. sharpSAT sharpSAT Public

    Forked from marcthurley/sharpSAT

    The #SAT solver sharpSAT

    C++ 3 1

  4. branding branding Public

    Logos etc. for the master-keying organisation

Repositories

Showing 4 of 4 repositories

Top languages

C++

Most used topics

Loading…
0