diff options
| author | Dennis Kobert <dennis@kobert.dev> | 2019-12-21 19:47:57 +0100 |
|---|---|---|
| committer | Dennis Kobert <dennis@kobert.dev> | 2019-12-21 19:47:57 +0100 |
| commit | b8b32592259235ab3c9566ce9c32593c0baf68ba (patch) | |
| tree | 14d3cd1f410720b2309be8a7a95956958b74c6a0 /src/solvers/check.cl | |
| parent | 7dcf1fe29e7983409027a69f0fa046f76874859b (diff) | |
Add dummy solver
Diffstat (limited to 'src/solvers/check.cl')
0 files changed, 0 insertions, 0 deletions