From 255d8c1712251db58bf8a053cbb30584bf71b70f Mon Sep 17 00:00:00 2001 From: Kunal Shah Date: Fri, 29 May 2020 16:39:31 -0700 Subject: [PATCH] added readme --- README.md | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100644 README.md diff --git a/README.md b/README.md new file mode 100644 index 0000000..387471d --- /dev/null +++ b/README.md @@ -0,0 +1,20 @@ +# WADL +## Fighter Planner Software +### alpha 0.1 + +### requirements +utm +shapely +z3-solver + +## z3 +z3 is a STM solver by microsoft +you will need to follow the instructions on their page to install the binaries + + +## Usage +Extend the config class to your own configureation for some area. You will need to point it to a cvs file of boundary gps cords (lat long) + +Configuration lets you set up where you want the agents to start from and the step size. You can also create smaller zones that tile the area. + +After a configuration is made it can be passed the solver in main-sat \ No newline at end of file