FaCiLe

MaRDI QIDQ42741swMATHFDO

Official website https://hal-enac.archives-ouvertes.fr/hal-00938018/document

Source code repository https://github.com/Emmanuel-PLF/facile

Cited in

(4)

• Enhancing set constraint solvers with lexicographic bounds
• Solving Kirkman's schoolgirl problem in a few seconds
• WSAT(OIP)
• Filtering algorithms for the multiset ordering constraint

This page was built for software: FaCiLe