Repository navigation
New 1.5.1 Version - Reduce execution time for edge expanding
What's new
- Improved finding and storing outcome edges in edge expanding process. For more info see the pull request - #18
- Build script for further releases, updated README links