Libraries for finite-domain constraints implemented with SMT/SAT
Detailed package documentation (available shortly after this version has been published)