| Event | 2017 XCSP3 competition: mini-solver track (sequential and parallel solvers) |
| Type | CSP |
| Submitter | Gilles Audemard |
| Date of submission | 2017-08-10 10:05 |
| Name | cosoco-mini |
| Version | 1.12 |
| Authors | Gilles Audemard |
| Complete/Incomplete | Complete |
| Is able to solve | COP CSP |
| Solver command line | cosoco -lc -model -restarts BENCHNAME |
| Conversion script command line | |
| Comments | Last bug fixed version.. |
| Solver files and checksums |
| Event | 2017 XCSP3 competition: mini-solver track (sequential and parallel solvers) |
| Type | CSP |
| Submitter | Gilles Audemard |
| Date of submission | 2017-06-27 08:25 |
| Name | cosoco-mini |
| Version | 1.1 (2017-06-27) |
| 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 | 2017 XCSP3 competition: mini-solver track (sequential and parallel solvers) |
| Type | CSP |
| Submitter | Gilles Audemard |
| Date of submission | 2017-07-29 09:53 |
| Name | cosoco-mini |
| Version | 1.1 (2017-07-29) |
| Authors | Gilles Audemard |
| Complete/Incomplete | Complete |
| Is able to solve | COP CSP |
| Solver command line | cosoco -lc -model -restarts BENCHNAME |
| Conversion script command line | |
| Comments | bug fix. |
| Solver files and checksums |
| Event | 2017 XCSP3 competition: mini-solver track (sequential and parallel solvers) |
| Type | CSP |
| Submitter | Cyril Terrioux |
| Date of submission | 2017-06-30 17:57 |
| Name | miniBTD |
| Version | 2017-06-30 |
| Authors | Philippe Jegou, Hanan Kanso, Cyril Terrioux |
| Complete/Incomplete | Complete |
| Is able to solve | CSP |
| Solver command line | miniBTD TIMEOUT BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | 2017 XCSP3 competition: mini-solver track (sequential and parallel solvers) |
| Type | CSP |
| Submitter | Cyril Terrioux |
| Date of submission | 2017-08-10 14:17 |
| Name | miniBTD |
| Version | 2017-08-10 |
| Authors | Philippe Jégou, Hanan Kanso, Cyril Terrioux |
| Complete/Incomplete | Complete |
| Is able to solve | CSP |
| Solver command line | miniBTD TIMEOUT BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | 2017 XCSP3 competition: mini-solver track (sequential and parallel solvers) |
| Type | CSP |
| Submitter | Nikolaos Pothitos |
| Date of submission | 2017-06-28 09:20 |
| Name | Naxos |
| Version | 1.1.0 |
| Authors | Nikolaos Pothitos |
| Complete/Incomplete | Complete |
| Is able to solve | COP CSP |
| Solver command line | ./naxos-xcsp3 BENCHNAME |
| Conversion script command line | |
| Comments | # Use the following commands to compile # yourselves, if g++-4.9 is installed: git clone https://github.com/pothitos/naxos.git cd naxos/apps/XCSP3/ cmake . make naxos-xcsp3 |
| Solver files and checksums |