XCSP3 2024 CSP - All Solvers Comparison
Comprehensive performance comparison of all constraint programming solvers on XCSP3 2024 competition instances
📅 Sat Oct 26 2024 00:00:00 GMT+0000 (Coordinated Universal Time) 🔧 Solvers: cplex, cpo, exact, gurobi, hexaly, ortools, pindakaas, pumpkin, pysat, pysdd, z3 ⏱️ Timeout: 600s 📊 Dataset: XCSP3 2024 CSP
Loading benchmark data...