This project is an anytime algorithm modeled around the Satellite Numeric domain in the International Planning Competition 2002. It is written in Rust, and makes use of the AnyHop library written by Dr. Ferrer.
This project is made to demonstrate the capabilities of anytime algorithms in order to continually improve on solutions for NP-hard problems through the ability to be stopped at any time.
In order to run the project, you must have cargo installed. Once you have cargo installed, you must set up the Rust nightly build. This is needed for some features of the language.
Next, clone the executable of the project.
Finally, run
cargo run -- -5s ../Research_Project/SatelliteNumeric/Numeric/pfile3
This command will run the program for 5 seconds on the specified pddl file.