Skip to main content

Browse the archive

https://github.com/alexander-nadel/intel_sat_solver
28 May 2023, 11:52:44 UTC
sort by:
Revision Author Date Message Commit Date
8a99f85 Alexander Nadel 17 May 2023, 06:42:21 UTC A major update, described in the SAT'23 paper Solving Huge Instances with Intel(R) SAT Solver 17 May 2023, 06:42:21 UTC
e65b900 Alexander Nadel 17 May 2023, 06:42:02 UTC A major update, described in the SAT'23 paper Solving Huge Instances with Intel(R) SAT Solver 17 May 2023, 06:42:02 UTC
1e3ca1f alexander-nadel 26 October 2022, 12:17:54 UTC Update Makefile Fixed a bug, which caused release mode to effectively be debug mode, which substantially hurt the performance. 26 October 2022, 12:17:54 UTC
2dbe088 Alexander Nadel 31 May 2022, 07:44:05 UTC MSE22 version 31 May 2022, 07:44:05 UTC
7ae1082 Alexander Nadel 27 April 2022, 06:40:02 UTC Changes to Makefile and README.md (to fix print-outs and allow&document library compilation) 27 April 2022, 06:40:02 UTC
b5c4331 Alexander Nadel 26 April 2022, 10:39:57 UTC SAT'22 paper version 26 April 2022, 10:39:57 UTC
4006699 alexander-nadel 26 April 2022, 07:03:47 UTC Update README.md 26 April 2022, 07:03:47 UTC
952cbc2 alexander-nadel 26 April 2022, 06:59:22 UTC Initial commit 26 April 2022, 06:59:22 UTC
back to top