Removing `chooseSolver` and inline `Modular` solver as default choice#9282

Merged

mergify[bot] merged 1 commit intohaskell:masterfrom yvan-sraka:simplify-choose-solver

Oct 6, 2023

+5-58

Commits on Oct 6, 2023

Removing chooseSolver and inline Modular solver as default choice

yvan-sraka
authored and
andreabedini
committed