ariadne-cps / ariadne

C++ framework for rigorous computation on cyber-physical systems
http://www.ariadne-cps.org
GNU General Public License v3.0
28 stars 9 forks source link

Naming and documentation of optimisation solvers #761

Open pietercollins opened 1 year ago

pietercollins commented 1 year ago

Improve the naming, documentation and internal consistency of optimisation solvers. In particular, rename Solver to Optimiser, remove Nonlinear tag and add Linear tag where appropriate. Correct copy/paste errors in class documentation. Add details on methods used, add extra documentation on utility methods, and make general theory more closely related to problem formulation used.