Adding new solvers is extremely difficult

[leogrillo]

Thank you for developing this software, it is extremely interesting and fast.
One issue which I found was that if someone wants to add a new solver, the process is extremely difficult. You have to manually add to the elif statements in the generate_code function of the cpg script, and in the utils script. This is over 2400 lines of code, and is a long process.
It would be great if adding a new solver would be an easier process, and if more solvers would be supported.

Thank you!!!
Leo

[Steven Diamond]

Hi Leo! Agreed it is challenging to add new solvers. I think there are two paths forward that can be pursued in parallel:

1. Refactor the existing code.
2. Develop a generic solver interface so every new solver isn't so bespoke.

[Maximilian Schaller]

See #24