diff options
| author | natrixaeria <upezu@student.kit.edu> | 2020-01-20 15:07:38 +0100 |
|---|---|---|
| committer | natrixaeria <upezu@student.kit.edu> | 2020-01-20 15:07:38 +0100 |
| commit | 0bb7242309483725f782d63593ae0d2d3da8b984 (patch) | |
| tree | 19fb2360c0bfd078bb84a7758eac82371672f9c0 /src/solvers/ocl.rs | |
| parent | 41b495d23cd0772811b424a9a006de8b22de7cb4 (diff) | |
Add optimized sorting preferences to bwinf solver
Diffstat (limited to 'src/solvers/ocl.rs')
0 files changed, 0 insertions, 0 deletions