Solver benchmarks

Authored by:Jose Salgado-Rojas inprioriactions 0.5.0.
Source:benchmark.Rmd, Vignette:benchmark.html. Last updated:2023-08-09.