Non-deterministic polynomial algorithms for:
- 3-SAT
- Reachability
Random input generator, non-deterministic polynomial solver and polynomial verifier of the solution.
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
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
If you want to run the project without installing install
cargo run