Adding new solvers is extremely difficult
leogrillo opened this issue · 2 comments
leogrillo commented
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
SteveDiamond commented
Hi Leo! Agreed it is challenging to add new solvers. I think there are two paths forward that can be pursued in parallel:
- Refactor the existing code.
- Develop a generic solver interface so every new solver isn't so bespoke.
maxschaller commented
See #24