2 ms·Which mathematical formal solver it is using?by sylware 2y agoWhich mathematical formal solver it is using?