Explore projects

Python bindings of Pylene (in development)

Debian package to distribute the divine binary patched for LTSmin.

PaInleSS: a Framework for Parallel SAT Solving.

Add macro to detect whether an expression is compile-time.

Metaprogramming toolbox to do blackmagic in c++17

Conan packaging for https://github.com/pybind/pybind11

Code sample for paper at repo: https://gitlab.lrde.epita.fr/carlinet/roynard.2020.icip