SomeSAT

Overview

SAT solver which utilizes DPLL search algorithm.

Getting Started

Prerequisites

For running:

• dotnet SDK 8.0

For testing:

• Python 3.10+
• picosat

Installation

Open the terminal and follow these steps:

1. Clone the repository:

   git clone git@github.com:artem-burashnikov/SomeSAT.git

2. Navigate to the project folder inside the root:

   cd SomeSAT/

3. Build the project:

   dotnet build --configuration Release

4. Run the solver against a file in DIMACS format:

   dotnet run <filePath>

License

The project is licensed under a MIT-License.