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++ 143 16

  2. pblib pblib Public

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

    C++ 17 4

  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
  • pblib Public

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

    master-keying/pblib’s past year of commit activity
    C++ 17 4 2 0 Updated Jul 18, 2024
  • minisat Public Forked from niklasso/minisat

    A minimalistic and high-performance SAT solver

    master-keying/minisat’s past year of commit activity
    C++ 143 398 3 0 Updated Oct 26, 2021
  • sharpSAT Public Forked from marcthurley/sharpSAT

    The #SAT solver sharpSAT

    master-keying/sharpSAT’s past year of commit activity
    C++ 3 24 6 1 Updated Jun 25, 2020
  • branding Public

    Logos etc. for the master-keying organisation

    master-keying/branding’s past year of commit activity
    0 0 0 0 Updated Feb 13, 2018

Top languages

Loading…

Most used topics

Loading…