Pinned Repositories
cosoco
COmpact SOlver for COnstrained problems
CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
glucose
The glucose SAT solver
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
minicdcl
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, ...).
XCSP3-CPP-Parser
XCSP3 Core Parser in C++
audemard's Repositories
audemard/glucose
The glucose SAT solver
audemard/minicdcl
audemard/XCSP3-CPP-Parser
XCSP3 Core Parser in C++
audemard/cosoco
COmpact SOlver for COnstrained problems
audemard/CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
audemard/gophersat
gophersat, a SAT solver in Go
audemard/just-the-docs
A modern, high customizable, responsive Jekyll theme for documention with built-in search.
audemard/laravel-photos
audemard/pfactory
pFactory is a parallel library designed to support and facilitate the implementation of parallel solvers in C++
audemard/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, ...).