Proof-generated, BDD-based SAT solver

Header-Only C++ Library for Graph Representation and Algorithms

This repository contains the code of Intel(R) SAT Solver (IntelSAT)

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

BreakID, a CNF symmetry-breaking library and tool

This code calculates all the variations of 3D polycubes for any size (time permitting!)

A robust quine program that works even after any one character is deleted.

Benchmarks of approximate nearest neighbor libraries in Python

A fast, clean, responsive Hugo theme.

SAT solver written in Rust

Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.

A dark and sleek Emacs setup for general purpose editing and programming

Donald Knuth's Algorithm 7.2.2.1M for covering with multiplicities and colors via dancing links

Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy

A toolkit for SAT-based prototyping in Python

An evolutionary approach to find small and low latency sorting networks

Cube-and-Conquer SAT solver

SAT Solver SATCH

The DRAT-trim proof checker

Derivative-Free Global Optimization Algorithm (C++, Python binding) - Continuous, Discrete, TSP, NLS, MINLP

the march SAT solver

CaDiCaL SAT Solver

Learn where some of the network sysctl variables fit into the Linux/Kernel network flow. Translations: 🇷🇺

microsat

A distributed and coördination-free log management system

qp tries and crit-bit tries

📙 Amazon Web Services — a practical guide

The Prometheus monitoring system and time series database.