Detect default solver#1820

Merged

ehennenfent merged 3 commits intomasterfrom

dev-detect-default-solver

Nov 6, 2020

Commits on Nov 6, 2020

Detect default solver: try yices, if not present use z3
montyly
committed
Update solver.py
montyly
authored
Update message about solver selection
Eric Hennenfent
authored