diff options
| author | Tom Smeding <tom.smeding@gmail.com> | 2018-09-01 10:10:24 +0200 |
|---|---|---|
| committer | Tom Smeding <tom.smeding@gmail.com> | 2018-09-01 10:10:24 +0200 |
| commit | f6aed5387fadb97f149c6cc95e85c11090b0e9d5 (patch) | |
| tree | f981c7eb562f8d232cd23b00fd8f275eb20fd3b0 /hsolve/.gitignore | |
| parent | d68df2d0d847f7d9579df8b48ae95be5e90fa470 (diff) | |
Add backtracking solver
Diffstat (limited to 'hsolve/.gitignore')
0 files changed, 0 insertions, 0 deletions