audemard

glucose

The glucose SAT solver

minicdcl

XCSP3-CPP-Parser

XCSP3 Core Parser in C++

cosoco

COmpact SOlver for COnstrained problems

CVC4

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

gophersat

gophersat, a SAT solver in Go

just-the-docs

A modern, high customizable, responsive Jekyll theme for documention with built-in search.

laravel-photos

pfactory

pFactory is a parallel library designed to support and facilitate the implementation of parallel solvers in C++

pyxai

PyXAI (Python eXplainable AI) is a Python library (version 3.6 or later) allowing to bring formal explanations suited to (regression or classification) tree-based ML models (Decision Trees, Random Forests, Boosted Trees, ...).