search

ProvideQ / toolbox-server

Resources for the server that hosts the toolbox (Backend)
https://provideq.kit.edu
MIT License
1 stars 1 forks source link

Solver picker #10

Closed Elscrux closed 1 year ago

schweikart commented 1 year ago

I've tested the changes now and everything seems to work 👍

However, when using the meta solver strategy, it's been unclear to me which solver has been used. Can you add a debugging output that prints the name of the solver being used?