Skip to content

Commit

Permalink
added readme
Browse files Browse the repository at this point in the history
  • Loading branch information
k2shah committed May 29, 2020
1 parent c673880 commit 255d8c1
Showing 1 changed file with 20 additions and 0 deletions.
20 changes: 20 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
@@ -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

0 comments on commit 255d8c1

Please sign in to comment.