Popular repositories Loading

1. gkgange.github.io gkgange.github.io Public

   HTML 1

2. geas geas Public

   C++ 1

3. lazycbs lazycbs Public

   C++ 1 2

4. cert-cp cert-cp Public

   Proof checking for constraint programming solvers

   Coq 1

5. chuffed chuffed Public

   Forked from chuffed/chuffed

   The Chuffed CP solver

   C++

6. chuffed-cert chuffed-cert Public

   Forked from geoffchu/chuffed

   The CP solver Chuffed (check out branch feature/logging for proof logging)

   C