Deprecating `--solver=modular` CLI argument#9206

Open

yvan-sraka wants to merge 1 commit intohaskell:masterfrom yvan-sraka:refactoring-choose-solver

+23-14

Commits on Dec 19, 2023

Deprecating --solver=modular CLI argument
yvan-sraka
committed