diff options
| author | mudathirmahgoub <mudathirmahgoub@gmail.com> | 2021-10-21 19:22:00 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-22 00:22:00 +0000 |
| commit | f9de5395d78bc5338ca800e539e91795730cbd29 (patch) | |
| tree | 4dc2f28888490dd1cd6bd99511ce9fc8c13a0a17 /.github/actions/run-tests/action.yml | |
| parent | 738f38bf6b5f2cf6a5812c056ae6f771bffb42e6 (diff) | |
Add missing methods to Solver.java (#7299)
A life of solver object was simple before summer. Then it got complicated with getDifficulty, optional proofs getProof, more assumptions addSygusAssume, and finally different options to choose from OptionInfo.
This PR attempts to prepare solver objects for this new life.
Diffstat (limited to '.github/actions/run-tests/action.yml')
0 files changed, 0 insertions, 0 deletions