NP Algorithms

Non-deterministic polynomial algorithms for:

  • 3-SAT
  • Reachability

Random input generator, non-deterministic polynomial solver and polynomial verifier of the solution.

Run Locally

The project was written in Rust 1.63. Make sure to have the rustc compiler and cargo package manager installed.

  rustc --version
  cargo --version

Clone the project

git clone https://github.com/jpyamamoto/np_algorithms

Go to the project directory

  cd my-project

Build the project

cargo build --release

Install

If you want the binary to be locally available, make sure the directory $HOME/.cargo/bin is in your $PATH and run the following command

cargo install --path .

Now the binary is locally available in your PATH

np_algorithms

Run Without Installing

If you want to run the project without installing install

cargo run

Authors