GoogleTest - Google Testing and Mocking Framework

Google's Operations Research tools:

Main gperftools repository

Makes Linux applications self-contained by copying in the libraries and plugins that the application uses, and optionally generates an AppImage. Can be used for Qt and other applications

An open-source Tomb Raider 1-5 engine remake

Linear optimization software

COIN-OR Branch-and-Cut solver

The MiniZinc compiler

CaDiCaL SAT Solver

Generic Constraint Development Environment

The MiniZinc IDE

The Chuffed CP solver

COIN-OR projects with CMake build support

The Standard Interface for Incremental Satisfiability Solving

The Encore compiler.

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

Verifier for pseudo-Boolean proofs

A constraint programming solver with support for proof logging

CP Optimizer back end for Minizinc

IPASIR 2 Specification and Discussion

C++ library to transform pseudo Boolean constraints into CNF