summaryrefslogtreecommitdiff
path: root/src/solvers/check.cl
diff options
context:
space:
mode:
authorDennis Kobert <dennis@kobert.dev>2019-12-20 09:30:19 +0100
committerDennis Kobert <dennis@kobert.dev>2019-12-20 09:30:19 +0100
commit7dcf1fe29e7983409027a69f0fa046f76874859b (patch)
tree16f46a23ec9845a10403898869d221754542f327 /src/solvers/check.cl
parent9b6de93eb16841f2b974398b7773abfa6b5c07e8 (diff)
Introduce helper functions and factor out state struct
Diffstat (limited to 'src/solvers/check.cl')
0 files changed, 0 insertions, 0 deletions