Explore projects

This is the development trunc of the HOL-CSP2.0 project.

Codabench is a flexible, easy-to-use and reproducible benchmarking platform. Check our paper at Patterns Cell Press https://hubs.li/Q01fwRWB0

My academic website

The team website