Repositories list

• NDP-5

  Public
  Non-deterministic Processor (NDP) - Parallel SAT-Solver with OpenMPI for Unlimited Scalability

  parallel-computingcomplexitysat-solver

  C++

  •

  GNU Affero General Public License v3.0

  •0•1•0•0•Updated Dec 25, 2024Dec 25, 2024

• CNF_FACT-MULT

  Public
  CNF Generator for Factoring Problems

  bddcnfsat-solver+ 2multiplierfactoring

  Haskell

  •0•2•0•0•Updated Sep 22, 2024Sep 22, 2024

• satcoin

  Public
  C

  •0•0•0•0•Updated Aug 8, 2024Aug 8, 2024

• car-sequencing

  Public
  MIT License

  •0•1•0•0•Updated Jun 15, 2024Jun 15, 2024

• NDP-h

  Public
  Non-Deterministic Processor (NDP) - efficient parallel SAT-solver - In honor of Youcef Hamadache.

  Python

  •

  GNU Affero General Public License v3.0

  •0•1•0•0•Updated Apr 21, 2024Apr 21, 2024

• minesweeper-AI

  Public
  Python

  •0•0•0•0•Updated Feb 26, 2024Feb 26, 2024

• SATMineSweeper

  Public
  Python

  •0•0•0•0•Updated Feb 26, 2024Feb 26, 2024

• MinesweeperSolver

  Public
  Python

  •0•0•0•0•Updated Feb 26, 2024Feb 26, 2024

• minesweeper_SAT

  Public
  Python

  •0•0•0•0•Updated Feb 26, 2024Feb 26, 2024

• buscaminas

  Public
  Jupyter Notebook

  •0•0•0•0•Updated Feb 26, 2024Feb 26, 2024

• minesweeping

  Public
  Python

  •

  MIT License

  •0•0•0•0•Updated Feb 26, 2024Feb 26, 2024

• sat-minesweeper

  Public
  Python

  •

  MIT License

  •0•0•0•0•Updated Feb 26, 2024Feb 26, 2024

• Minesweeper-Solver-SAT

  Public
  Python

  •

  MIT License

  •0•0•0•0•Updated Feb 26, 2024Feb 26, 2024

• NDP-blueprint-thief

  Public
  Non-Deterministic Processor (NDP) - efficient parallel SAT-solver

  scalableparallel-computingefficient+ 1sat-solver

  Python

  •

  GNU Affero General Public License v3.0

  •0•2•0•0•Updated Feb 7, 2024Feb 7, 2024

• bio-cnf

  Public
  Python

  •0•0•0•0•Updated Jan 13, 2024Jan 13, 2024

• NDP-blueprint-all-the-craziness

  Public
  Non-Deterministic Processor (NDP) - efficient parallel SAT-solver

  scalableparallel-computingefficient+ 1sat-solver

  Python

  •

  GNU Affero General Public License v3.0

  •0•0•0•1•Updated Sep 30, 2023Sep 30, 2023

• ray

  Public
  Rust

  •

  Apache License 2.0

  •0•0•0•0•Updated Nov 28, 2022Nov 28, 2022

• keybase

  Public
  0•0•0•0•Updated Oct 27, 2022Oct 27, 2022