refactor(optimization/cached_expression): CachedExpression

dreal / dreal4

Automated Reasoning in Nonlinear Theories of Reals

https://dreal.github.io

Apache License 2.0

150 stars 31 forks source link

Closed soonhokong closed 1 year ago

soonhokong commented 1 year ago

Previously, it was part of nlopt_optimizer.h. Now it is in a separate file.

This change is

soonhokong commented 1 year ago

+@yazhai for code-review