Skip to content
<awesome-gh-repos>
vic

vaibhawvipul/concurrent-sat-solver-rs

a simple concurrent/parallel sat solver implementation in rust
Source code at GitHub null
vaibhawvipul/concurrent-sat-solver-rs.json
{
  "createdAt": "2024-01-12T16:19:56Z",
  "defaultBranch": "main",
  "description": "a simple concurrent/parallel sat solver implementation in rust",
  "fullName": "vaibhawvipul/concurrent-sat-solver-rs",
  "homepage": null,
  "language": "Rust",
  "name": "concurrent-sat-solver-rs",
  "pushedAt": "2024-01-24T07:38:58Z",
  "stargazersCount": 20,
  "topics": [],
  "updatedAt": "2025-10-22T13:31:43Z",
  "url": "https://github.com/vaibhawvipul/concurrent-sat-solver-rs"
}

concurrent-sat-solver-rs

Section titled “concurrent-sat-solver-rs”

This project is under development.

This project is an implementation of a Concurrent DPLL (Davis–Putnam–Logemann–Loveland) SAT solver in Rust. The DPLL algorithm is used for solving the Boolean Satisfiability Problem (SAT), and the concurrent implementation leverages Rust’s parallel programming capabilities to enhance its performance.

Features

Section titled “Features”
  • Concurrent Execution: Utilizes parallelization to explore different branches of the solution space concurrently, improving solving efficiency on multi-core processors.

How to Use

Section titled “How to Use”

  1. Clone the Repository:

    Terminal window
    git clone https://github.com/vaibhawvipul/concurrent-sat-solver-rs.git

  2. Navigate to the Project:

    Terminal window
    cd concurrent-sat-solver-rs

  3. Build and Run:

    Terminal window
    cargo run

References

Section titled “References”