MutexGear Library Preview

The glucose SAT solver

The SAT and QBF Programming Language Bule

Problem generator for CNF and PBO encodings of hash functions.

An open source quadruped robot pet framework for developing Boston Dynamics-style four-legged robots that are perfect for STEM, coding & robotics education, IoT robotics applications, AI-enhanced r…

CDCL(Crypto) SAT solver for cryptanalysis problems

SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers

ABC: System for Sequential Logic Synthesis and Formal Verification

R package for drawing Hasse diagrams - visualization of transitive reduction of a finite partially ordered set.