Age | Commit message (Expand) | Author |
---|---|---|
2020-06-16 | Update copyright headers. | Aina Niemetz |
2020-03-27 | Split transcendental solver to its own file (#4156) | Andrew Reynolds |
2020-03-09 | Fixes for bounds on transcendental functions (#3832) | Andrew Reynolds |
2019-12-11 | Do not substitute beneath arithmetic terms in the non-linear solver (#3324) | Andrew Reynolds |
2019-10-29 | Split some generic utilities from the non-linear extension (#3419) | Andrew Reynolds |