diff options
| author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2020-08-16 02:28:27 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-15 19:28:27 -0500 |
| commit | f4f7f148082535c23e24a0b92cdf2612f0598072 (patch) | |
| tree | 68ae2c80605b49f4320329da1d86d6ebaf3554fb /src/theory/strings/regexp_operation.cpp | |
| parent | a1e951127f7a3af158ca1408e62bd46d5cb065ff (diff) | |
(cad solver) Use the current model as initial assignment (#4893)
This PR implements a first naive way to employ the linear model (obtained from the nonlinear extension) to guide the initial sampling within the cad solver.
Diffstat (limited to 'src/theory/strings/regexp_operation.cpp')
0 files changed, 0 insertions, 0 deletions