FaCiLe

swMATH31028MaRDI QIDQ42741FDOQ42741

Author name not available (Why is that?)

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