LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean

Pablo Manrique, Stefan Szeider

Constraint programming is a core technology for solving complex combinatorial problems in scheduling, planning, configuration, and verification. Trusting its results therefore dema…