Makes your AI agent think like the laziest senior dev in the room. The best code is the code you never wrote.

Evaluation Scripts for GBD

Lecture: Practical SAT Solving (ST 2025)

a structural diff that understands syntax 🟥🟩

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

Encoding different problems into Boolean satisfiability

KaMPIng: (Near) zero-overhead MPI wrapper for modern C++

Generative Models by Stability AI

Animation engine for explanatory math videos

A living benchmark framework for symbolic regression

Implementation of multi-core (binary) decision diagrams

CaDiCaL SAT Solver

LPR proof checking with CakeML

Powerful assertions made easy: Define assertion levels, get insights with expression decomposition, and switch between exceptions and assertions.

Library for creation of SAT instances.

Low-level Java bindings to the IPASIR C interface

SMAC3: A Versatile Bayesian Optimization Package for Hyperparameter Optimization

KaHyPar (Karlsruhe Hypergraph Partitioning) is a multilevel hypergraph partitioning framework providing direct k-way and recursive bisection based partitioning algorithms that compute solutions of …

Targeted Branching for Maximum Independent Sets

A novel SAT solver prototype

Execute a set of commands under homogeneous memory, time, and CPU constraints.

Argument Parser for Modern C++

The Standard Interface for Incremental Satisfiability Solving