https://github.com/ledif/kla-galois

Patcher to add k-level-asynchronous breadth-first search to Galois.
https://github.com/ledif/kla-galois

Last synced: about 1 month ago
JSON representation

Patcher to add k-level-asynchronous breadth-first search to Galois.

• Host: GitHub
• URL: https://github.com/ledif/kla-galois
• Owner: ledif
• Created: 2014-08-14T15:50:29.000Z (over 10 years ago)
• Default Branch: master
• Last Pushed: 2014-08-14T16:00:45.000Z (over 10 years ago)
• Last Synced: 2024-03-17T23:50:53.097Z (10 months ago)
• Language: Shell
• Size: 137 KB
• Stars: 1
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
kla-galois

==============

Script to patch [Galois](http://iss.ices.utexas.edu/?p=projects/galois) to add k-level-asynchronous breadth-first search.

This work is based off of Galois 2.1.8.

Run

------

```

./patch.sh

```