| commit | de5db33238875c4d352b19802e3086eaf83dd990 | |
| author | Kristen Kozak <grayjay@wordroute.com> | |
| Fri, 16 Mar 2018 03:58:59 +0000 (15 20:58 -0700) | ||
| committer | GitHub <noreply@github.com> | |
| Fri, 16 Mar 2018 03:58:59 +0000 (15 20:58 -0700) | ||
| tree | 4b571a85d570e092f132aa77f4fd5c3ffd29520a | treesnapshot (tar.gz zip) |
| parent | 59bb50b7d0c001949cb2c629a12584540636c627 | commitdiff |
| parent | 9592a3929fdefcca5dec7000ee155c76753ad115 | commitdiff |
Merge pull request #5166 from grayjay/refactor-solver-log
Enforce the backjump limit before creating the solver log.
Enforce the backjump limit before creating the solver log.