GitHub repository: lattice-land/lala-pc
Primary language: C++
Description: Abstract propagators completion (PC) is an abstract domain encapsulating the propagation component of a constraint programming solver.