https://github.com/alexander-nadel/intel_sat_solver
Tip revision: 8a99f85649d80d06a6dddd61e1be5d38eac81997 authored by Alexander Nadel on 17 May 2023, 06:42:21 UTC
A major update, described in the SAT'23 paper Solving Huge Instances with Intel(R) SAT Solver
A major update, described in the SAT'23 paper Solving Huge Instances with Intel(R) SAT Solver
Tip revision: 8a99f85
README.md
# intel_sat_solver
This repository contains the code of Intel(R) SAT Solver (IntelSAT).
Compilation requires g++ version 10.1.0 or higher.
To compile IntelSAT executable in Release mode, run make as follows: "make rs". To compile IntelSAT library in Release mode, run make as follows: "make libr". For other compilation options, please refer to Makefile.
When using IntelSAT, please refer to the following paper:
Alexander Nadel. "Introducing Intel(R) SAT Solver", SAT'22.
