renamed new solvers to reflect their standard status
Description
Description
Details
Details
- Committed
muSpectre-bot May 15 2018, 21:53 - Pushed
junge May 15 2018, 21:54 - Parents
- rMUSPECTRE6255b479b4db: renamed the deprecated solver strategies
- Branches
- Unknown
- Tags