主要求解器研究团队及其开源代码网址

求解器研究所属的学科类型

	2012 ACM Subject Classification   Theory of computation → Constraint and logic programming; Theory of computation → Automated reasoning

 

 

主要求解器研究团队及其开源代码网址：

Supplementary Materials Mathias Fleury. arminbiere/cadical (Software, CaDiCaL Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024) https://doi.org/10.4230/artifacts.22495 Software (CaDiCaL Source Code)  https://github.com/arminbiere/cadical/tree/strong-backtrack   archived version Robin Coutelier. RobCoutel/NapSAT (Software, NapSAT Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024) https://doi.org/10.4230/artifacts.22496 Software (NapSAT Source Code)  https://github.com/RobCoutel/NapSAT    browse   archived version Mathias Fleury. m-fleury/glucose (Software, Glucose Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024) https://doi.org/10.4230/artifacts.22497 Software (Glucose Source Code)  https://github.com/m-fleury/glucose    browse   archived version