Giters
Master keying enthusiasts (master-keying)

Master keying enthusiasts

master-keying

Geek Repo

Tackling algorithmic problems of mechanical keys and locks

Github PK Tool:Github PK Tool

Master keying enthusiasts's repositories

minisat

A minimalistic and high-performance SAT solver

Language:C++License:NOASSERTIONStargazers:138Issues:5Issues:5

pblib

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

Language:C++License:NOASSERTIONStargazers:16Issues:4Issues:1

sharpSAT

The #SAT solver sharpSAT

Language:C++Stargazers:3Issues:5Issues:8

branding

Logos etc. for the master-keying organisation

License:NOASSERTIONStargazers:0Issues:2Issues:0