refs/tags/sat23_solving_huge_instances_paper | sat23_solving_huge_instances_paper | 8a99f85 | The version used in my SAT'23 paper Solving Huge Instances with Intel(R) SAT Solver | 17 May 2023, 06:43:45 UTC |
refs/tags/sat23_allsat_paper | sat23_allsat_paper | 1e3ca1f | The version used in our SAT'23 paper AllSAT for Combinational Circuits | 17 May 2023, 06:25:39 UTC |
refs/tags/sat22 | sat22 | b5c4331 | The initial version, used in the SAT'22 paper | 26 April 2022, 10:41:12 UTC |
refs/tags/mse22 | mse22 | 2dbe088 | MAXSat Evaluation 2022 Version | 31 May 2022, 07:45:08 UTC |