search

nicolasprevot / GpuShareSat

Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
Other
32 stars 1 forks source link

Incremental SAT #17

Closed Flians closed 1 year ago

Flians commented 1 year ago

Hello, can your tool support the incremental SAT?

msoos commented 1 year ago

Hi,

Unfortunately, we don't support incremental SAT. Sorry! However, it should not be too difficult to add. Maybe you could try adding it? It may not be too hard! :) If you manage to add it, please create a pull request, I'd be happy to review and merge :) Cheers and good luck,

Mate