Skip to content
GitLab
Menu
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
SAT4J
sat4j
Pipelines
#9350
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
Pipeline
Needs
Jobs
6
Failed Jobs
1
Tests
0