Skip to content

@master-keying Master keying enthusiasts

Change the repository type filter

All

    Repositories list

    4 repositories

    • pblib

      Public
      A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF
      C++
      •
      Other
      •4•18•2•0•Updated Jul 18, 2024Jul 18, 2024

    • minisat

      Public
      A minimalistic and high-performance SAT solver
      C++
      •
      Other
      •399•144•3•0•Updated Oct 26, 2021Oct 26, 2021

    • sharpSAT

      Public
      The #SAT solver sharpSAT
      C++
      •24•3•6•1•Updated Jun 25, 2020Jun 25, 2020

    • branding

      Public
      Logos etc. for the master-keying organisation
      Other
      •0•0•0•0•Updated Feb 13, 2018Feb 13, 2018