Pinned Repositories
chuffed
The Chuffed CP solver
cert-cp
Proof checking for constraint programming solvers
chuffed
The Chuffed CP solver
chuffed-cert
The CP solver Chuffed (check out branch feature/logging for proof logging)
geas
gkgange.github.io
lazycbs
crab
A library for building abstract interpretation-based analyses
gkgange's Repositories
gkgange/cert-cp
Proof checking for constraint programming solvers
gkgange/geas
gkgange/gkgange.github.io
gkgange/lazycbs
gkgange/chuffed
The Chuffed CP solver
gkgange/chuffed-cert
The CP solver Chuffed (check out branch feature/logging for proof logging)