Skip to content
GitLab

Considers watched literals in resolution based solvers for Both-like solvers

6 jobs for cdcl-strategies in 105 minutes and 21 seconds (queued for 32 seconds)
91bce9d3
1 related merge request: !6 Cdcl strategies