Gilles Audemard's repositories
XCSP3-CPP-Parser
XCSP3 Core Parser in C++
cosoco
COmpact SOlver for COnstrained problems
Language:C++NOASSERTION000
CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Language:C++NOASSERTION000
gophersat
gophersat, a SAT solver in Go
Language:GoMIT000
just-the-docs
A modern, high customizable, responsive Jekyll theme for documention with built-in search.
Language:SCSSMIT000
Language:PHP000
pfactory
pFactory is a parallel library designed to support and facilitate the implementation of parallel solvers in C++
Language:C++GPL-3.0000
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, ...).
Language:PythonMIT000