| Event | 2018 XCSP3 competition: mini-solvers track |
| Type | CSP |
| Submitter | Gilles Audemard |
| Date of submission | 2018-04-27 12:30 |
| Name | cosoco |
| Version | 1.12 |
| Authors | Gilles Audemard |
| Complete/Incomplete | Complete |
| Is able to solve | COP CSP |
| Solver command line | DIR/cosoco -lc -model -restarts BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | 2018 XCSP3 competition: mini-solvers track |
| Type | CSP |
| Submitter | Simon Gustin |
| Date of submission | 2018-04-29 21:33 |
| Name | GG's minicp |
| Version | 2018-04-29 |
| Authors | Arnaud Gellens and Simon Gustin |
| Complete/Incomplete | Complete |
| Is able to solve | COP CSP |
| Solver command line | java -jar HOME/GGs-minicp.jar xcsp3.CompetitionApp BENCHNAME |
| Conversion script command line | |
| Comments | This solver was made during the course LINGI2365 -- Constraint Programming given by Pierre Schaus at Université Catholique de Louvain. It is based on the source code of miniCP (available at https://bitbucket.org/pschaus/minicp) |
| Solver files and checksums |
| Event | 2018 XCSP3 competition: mini-solvers track |
| Type | CSP |
| Submitter | Cyril Terrioux |
| Date of submission | 2018-07-27 19:08 |
| Name | miniBTD |
| Version | 2018.07.27_3 |
| Authors | Philippe Jegou, Helene Kanso and Cyril Terrioux |
| Complete/Incomplete | Complete |
| Is able to solve | CSP |
| Solver command line | miniBTD 3 TIMELIMIT BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | 2018 XCSP3 competition: mini-solvers track |
| Type | CSP |
| Submitter | Cyril Terrioux |
| Date of submission | 2018-07-27 19:10 |
| Name | miniBTD_12 |
| Version | 2018.07.27_12 |
| Authors | Philippe Jegou, Djamal Habet, Helene Kanso and Cyril Terrioux |
| Complete/Incomplete | Complete |
| Is able to solve | CSP |
| Solver command line | miniBTD 12 TIMELIMIT BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | 2018 XCSP3 competition: mini-solvers track |
| Type | CSP |
| Submitter | Antoine Vanderschueren |
| Date of submission | 2018-04-29 12:54 |
| Name | MiniCPFever |
| Version | 2018-04-29 |
| Authors | Victor Joos and Antoine Vanderschueren |
| Complete/Incomplete | Complete |
| Is able to solve | COP CSP |
| Solver command line | java -jar minicp-1.0.jar BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | 2018 XCSP3 competition: mini-solvers track |
| Type | CSP |
| Submitter | Cyril Terrioux |
| Date of submission | 2018-07-27 19:11 |
| Name | minimacht |
| Version | 2018.07.27 |
| Authors | Djamal Habet and Cyril Terrioux |
| Complete/Incomplete | Complete |
| Is able to solve | CSP |
| Solver command line | minimacht TIMELIMIT BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | 2018 XCSP3 competition: mini-solvers track |
| Type | CSP |
| Submitter | Gaël Glorian |
| Date of submission | 2018-06-06 10:07 |
| Name | NACRE |
| Version | 1.0.4 |
| 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 | 2018 XCSP3 competition: mini-solvers track |
| Type | CSP |
| Submitter | vincent vandervilt |
| Date of submission | 2018-04-29 15:08 |
| Name | slowpoke |
| Version | 2018-04-29 |
| Authors | Alexandre Gerlache && vincent vandervilt |
| Complete/Incomplete | Incomplete |
| Is able to solve | COP CSP |
| Solver command line | java -jar minicp-1.0.jar BENCHNAME --timelimit TIMEOUT |
| Conversion script command line | |
| Comments | Our variation of minicp by Pierre Schaus. Université Catholique de Louvain. |
| Solver files and checksums |
| Event | 2018 XCSP3 competition: mini-solvers track |
| Type | CSP |
| Submitter | Xavier Schul |
| Date of submission | 2018-04-28 18:05 |
| Name | Solver of Xavier Schul & Yvhan Smal |
| Version | 2018-04-28 |
| Authors | Xavier Schul & Yvhan Smal |
| Complete/Incomplete | Incomplete |
| Is able to solve | COP CSP |
| Solver command line | java -jar minicp-1.0.jar BENCHNAME |
| Conversion script command line | |
| Comments | Solver in minicp format (Pierre Schauss) |
| Solver files and checksums |
| Event | 2018 XCSP3 competition: mini-solvers track |
| Type | CSP |
| Submitter | Florian Stévenart Meeûs |
| Date of submission | 2018-04-27 16:11 |
| Name | SuperSolver_Macq_Stevenart |
| Version | 2018-04-27 |
| Authors | Florian Stevenart Meeus and Jean-Baptiste Macq |
| Complete/Incomplete | Incomplete |
| Is able to solve | COP CSP |
| Solver command line | java -jar DIR/bestMinicp.jar BENCHNAME |
| Conversion script command line | |
| Comments | We have developed this solver thanks to the excellent course of Pr. Pierre Schaus at UCL. Authors: Jean-Baptiste Macq: jean-baptiste.macq@student.uclouvain.be Florian Stevenart Meeus: florian.stevenart@student.uclouvain.be |
| Solver files and checksums |
| Event | 2018 XCSP3 competition: mini-solvers track |
| Type | CSP |
| Submitter | Alexandre Dubray |
| Date of submission | 2018-04-29 18:11 |
| Name | The dodo solver |
| Version | 2018-04-29 |
| Authors | Alexandre Dubray |
| Complete/Incomplete | Complete |
| Is able to solve | COP CSP |
| Solver command line | java -jar DIR/dodo_solver.jar BENCHNAME --timelimit TIMEOUT |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |