Skip to content
This repository has been archived by the owner on Jul 27, 2024. It is now read-only.

Part of the SPBU's programming course. Benchmarks of SomeSAT SAT-solver.

License

Notifications You must be signed in to change notification settings

artem-burashnikov/sat-solver-benchmark

Repository files navigation

sat-solver-benchmark

MIT License

This repository contains manual benchmark measurements of DPLL algorithm implementation specified in the description.

Getting Started

Prerequisites

  • python3

Installation

Open the terminal and follow these steps:

  1. Clone the repository:

    git clone git@github.com:artem-burashnikov/sat-solver-benchmark.git
  2. Navigate to the project folder inside the root:

    cd sat-solver-benchmark/
  3. Create a python virtual environment and activate it:

    python3 -m venv .venv &&
    source .venv/bin/activate
  4. Install all necessary libraries:

    pip install -r requirements.txt

License

The project is licensed under a MIT-License.

About

Part of the SPBU's programming course. Benchmarks of SomeSAT SAT-solver.

Topics

Resources

License

Stars

Watchers

Forks