{"about":{"site":"https://codewithpapers.app","non_affiliation":"Code with Papers and Syntology are not affiliated with, endorsed by, or sponsored by Papers with Code, Meta, or the pwc-archive mirror.","licence":"CC BY-SA 4.0","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","attribution":"https://codewithpapers.app/attribution","modified":"archive material modified by Syntology; see the attribution page"},"url":"/paper/testing-global-constraints","title":"Testing Global Constraints","arxiv_id":"1807.03975","date":"2018-07-11","proceeding":null,"authors":["Aurélie Massart","Valentin Rombouts","Pierre Schaus"],"abstract":"Every Constraint Programming (CP) solver exposes a library of constraints for\nsolving combinatorial problems. In order to be useful, CP solvers need to be\nbug-free. Therefore the testing of the solver is crucial to make developers and\nusers confident. We present a Java library allowing any JVM based solver to\ntest that the implementations of the individual constraints are correct. The\nlibrary can be used in a test suite executed in a continuous integration tool\nor it can also be used to discover minimalist instances violating some\nproperties (arc-consistency, etc) in order to help the developer to identify\nthe origin of the problem using standard debuggers.","url_abs":"http://arxiv.org/abs/1807.03975v1","url_pdf":"http://arxiv.org/pdf/1807.03975v1.pdf","source":{"archive":"pwc-archive (Hugging Face), CC BY-SA 4.0","snapshot":"2025-07-28","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","row_kind":"abstracts"},"code_links":[{"paper_slug":"testing-global-constraints","repo_url":"https://github.com/vrombouts/Generic-checker-for-CP-Solver-s-constraints","is_official":1,"mentioned_in_paper":1,"mentioned_in_github":0,"framework":"none","reach":null}],"tasks":[{"task_slug":"arc","task_name":"ARC"}],"methods":[],"datasets_introduced":[],"methods_introduced":[],"results":[],"syntology":{"atlas_url":null,"mcp":null,"developers":"https://syntology.ai/developers"},"arxiv_metadata":null,"syntology_extracted_results":null}