| Event | 2019 XCSP3 competition: mini-solver track (sequential and parallel solvers) |
| Type | CSP |
| Submitter | Gilles AUDEMARD |
| Date of submission | 2019-08-05 15:41 |
| Name | cosoco |
| Version | 2 |
| Authors | Gilles AUDEMARD |
| Complete/Incomplete | Complete |
| Is able to solve | COP CSP |
| Solver command line | cosoco -lc -model -restarts -stick BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | 2019 XCSP3 competition: mini-solver track (sequential and parallel solvers) |
| Type | CSP |
| Submitter | Gilles AUDEMARD |
| Date of submission | 2019-09-15 18:20 |
| Name | cosoco |
| Version | 2.0 |
| Authors | Gilles AUDEMARD |
| Complete/Incomplete | Complete |
| Is able to solve | COP CSP |
| Solver command line | cosoco -lc -model -restarts -stick BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | 2019 XCSP3 competition: mini-solver track (sequential and parallel solvers) |
| Type | CSP |
| Submitter | Gilles AUDEMARD |
| Date of submission | 2019-09-29 21:51 |
| Name | cosoco |
| Version | 2.0 |
| Authors | Gilles AUDEMARD |
| Complete/Incomplete | Complete |
| Is able to solve | COP CSP |
| Solver command line | cosoco -lc -model -restarts -stick BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | 2019 XCSP3 competition: mini-solver track (sequential and parallel solvers) |
| Type | CSP |
| Submitter | Cyril Terrioux |
| Date of submission | 2019-06-16 23:05 |
| Name | miniBTD |
| Version | 19.06.16 |
| Authors | Djamal Habet, Philippe Jégou, Hélène Kanso, Cyril Terrioux |
| Complete/Incomplete | Complete |
| Is able to solve | CSP |
| Solver command line | miniBTD TIMELIMIT BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | 2019 XCSP3 competition: mini-solver track (sequential and parallel solvers) |
| Type | CSP |
| Submitter | Gaël Glorian |
| Date of submission | 2019-06-17 14:53 |
| Name | NACRE |
| Version | 1.0.5 |
| Authors | Gaël Glorian |
| Complete/Incomplete | Complete |
| Is able to solve | CSP |
| Solver command line | nacre_mini_release BENCHNAME -complete -l100 -cm |
| Conversion script command line | |
| Comments | Sources can be found at https://github.com/crillab/nacre_mini/ |
| Solver files and checksums |
| Event | 2019 XCSP3 competition: mini-solver track (sequential and parallel solvers) |
| Type | CSP |
| Submitter | Gaël Glorian |
| Date of submission | 2019-06-17 14:55 |
| Name | NACRE |
| Version | 1.0.5-Hybrid |
| Authors | Gaël Glorian |
| Complete/Incomplete | Complete |
| Is able to solve | CSP |
| Solver command line | nacre_mini_release BENCHNAME -ca -l100 -cm |
| Conversion script command line | |
| Comments | Sources can be found at https://github.com/crillab/nacre_mini/ |
| Solver files and checksums |
| Event | 2019 XCSP3 competition: mini-solver track (sequential and parallel solvers) |
| Type | CSP |
| Submitter | Neng-Fa Zhou |
| Date of submission | 2019-09-12 16:28 |
| Name | (reference) PicatSAT |
| Version | 2019-09-12 |
| Authors | Neng-Fa Zhou |
| Complete/Incomplete | Complete |
| Is able to solve | COP CSP |
| Solver command line | xcsp_picat BENCHNAME |
| Conversion script command line | |
| Comments | I made some minor changes since the last submission. I just submitted the final version of the solver to MiniZinc Challenge, and I thought that it'd be nice to have the same solver submitted to both competitions (for comparison purpose). If it's too late to submit another version, please just disregard this one. |
| Solver files and checksums |