Participating Solvers
Solver and benchmark descriptions of ICCMA 2023 are available here.
Solver Sources
Main Track
- Crustabri (by Jean-Marie Lagniez, Emmanuel Lonca and Jean-Guy Mailly)
- Fudge (by Matthias Thimm, Federico Cerutti and Mauro Vallati)
- μ-toksia (by Andreas Niskanen and Matti Järvisalo)
- PORTSAT (by Sylvain Declercq, Quentin Januel Capellini, Christophe Yang, Jérôme Delobelle and Jean-Guy Mailly)
Approximate Track
- AFGCNv2 (by Lars Malmqvist)
- ARIPOTER-Degrees (by Jérôme Delobelle, Jean-Guy Mailly and Julien Rossit)
- ARIPOTER-HCAT (by Jérôme Delobelle, Jean-Guy Mailly and Julien Rossit)
- fargo-limited (by Matthias Thimm)
- harper++ (by Matthias Thimm)
Dynamic Track
- Crustabri (by Jean-Marie Lagniez, Emmanuel Lonca and Jean-Guy Mailly)
- κ-solutions (by Christian Pasero and Johannes P. Wallner)
- μ-toksia (by Andreas Niskanen and Matti Järvisalo)
ABA Track
- AcbAr (by Tuomo Lehtonen, Anna Rapberger, Markus Ulbricht and Johannes P. Wallner)
- ASPforABA (by Tuomo Lehtonen, Matti Järvisalo and Johannes P. Wallner)
- ASTRA (by Andrei Popescu and Johannes P. Wallner)
- Crustabri (by Jean-Marie Lagniez, Emmanuel Lonca and Jean-Guy Mailly)
- flexABle (by Martin Diller, Sarah Alice Gaggl, Piotr Gorczyca)