WAHO solver

WAHO solver to aplikacja linii komend pozwalająca generować i rozwiązywać losowe instancje układanki WAHO. Powstała ona jako cześć pracy inżynierskiej w celu porównania zestawu opracowanych heurystyk.

Wymagania

Projekt korzysta z Rust w wersji 1.76.0.

Instalacja

Projekt można zbudować, korzystając z polecenia:

cargo build --release

Sposób użycia

Program można uruchomić, korzystając z polecenia:

cargo run --release

Alternatywnie można uruchomić plik wykonywalny wygenerowany przez cargo build znajdujący się w folderze target/release/

Aby wyświetlić dostępne w programie opcje, należy uruchomić program z poleceniem help

waho-solver help

Program posiada 2 główne komendy generate oraz solve które odpowiednio pozwalają na generowanie i rozwiązywanie wygenerowanych rozwiązań. W celu poznania dokładnych opisów tych komend należy skorzystać z poleceń:

waho-solver help generate
waho-solver help solve

Dokumentacja

Dokumentację można wygenerować i przejrzeć korzystając z polecenia:

cargo doc --no-deps --open

Testy

Testy jednostkowe zawarte w projekcie można uruchomić poleceniem:

cargo test