# intel_sat_solver

**Repository Path**: saeran123/intel_sat_solver

## Basic Information

- **Project Name**: intel_sat_solver
- **Description**: No description available
- **Primary Language**: Unknown
- **License**: MIT
- **Default Branch**: main
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 0
- **Created**: 2024-03-17
- **Last Updated**: 2024-04-26

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

# 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.