Skip to main content

Browse the archive

https://github.com/alexander-nadel/intel_sat_solver
28 May 2023, 11:52:44 UTC
Name Target Message Date
HEAD 8a99f85 A major update, described in the SAT'23 paper Solving Huge Instances with Intel(R) SAT Solver 17 May 2023, 06:42:21 UTC
refs/heads/main 8a99f85 A major update, described in the SAT'23 paper Solving Huge Instances with Intel(R) SAT Solver 17 May 2023, 06:42:21 UTC
back to top