diff options
| author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2021-02-15 09:08:47 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-15 09:08:47 +0100 |
| commit | b05fae1fa9e46b63b22a41d8c32e944502366770 (patch) | |
| tree | 3360088d27a19824cb276dc1cc63836c296b3321 /.github | |
| parent | 0ff53d70b3e0a11e4ae5c1c8f612d809dca2d004 (diff) | |
Remove now obsolete sendLemmas and inferences stat from arith::nl (#5903)
This PR removes some obsolete code from the nonlinear solver.
The statistics will soon be replaced by a generic statistic in the theory inference manager.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions