diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-01-13 16:01:53 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-01-13 16:01:53 -0600 |
| commit | 9fd4e5758df5e1085a3d6c80e3a6162d61b36566 (patch) | |
| tree | 0f7d9cdee187a98b8abf31838c7bab728239eca8 /src/preprocessing | |
| parent | 4ddbf7c13d2ce344e46a57bdef5af44922ca2552 (diff) | |
Split eager solver from strings solver state (#5775)
This splits the eager solver from solver state. The solver state contains the EqcInfo data, while the eager solver is responsible for populating it.
This is in preparation for adding new techniques to the eager solver.
No behavior changes in this PR, only reorganization.
Diffstat (limited to 'src/preprocessing')
0 files changed, 0 insertions, 0 deletions