diff options
| author | Dennis Kobert <dennis@kobert.dev> | 2019-12-21 19:50:51 +0100 |
|---|---|---|
| committer | Dennis Kobert <dennis@kobert.dev> | 2019-12-21 19:50:51 +0100 |
| commit | 5655ebbfa23438a8971bdbc9195e83b7ab03f8af (patch) | |
| tree | 6e16df60014e7cec8adf31ade9aeba13b175dc2a /src/solvers/check.cl | |
| parent | b8b32592259235ab3c9566ce9c32593c0baf68ba (diff) | |
Use u32 to create a solver
Diffstat (limited to 'src/solvers/check.cl')
0 files changed, 0 insertions, 0 deletions