Marc solver can be controlled in python, installation can be tuned with CLI arguments
Mentat does not work for now