https://github.com/qiyitang71/approximate-quotienting
Revision f73eef66df0f939b1a15e93a18e43167c4645282 authored by Qiyi Tang on 16 April 2021, 09:39:42 UTC, committed by Qiyi Tang on 16 April 2021, 09:39:42 UTC
1 parent f26da8a
Tip revision: f73eef66df0f939b1a15e93a18e43167c4645282 authored by Qiyi Tang on 16 April 2021, 09:39:42 UTC
remove the outdated minimisation algorithm using the outdated local bisimilarity distances
remove the outdated minimisation algorithm using the outdated local bisimilarity distances
Tip revision: f73eef6
| File | Mode | Size |
|---|---|---|
| models | ||
| src | ||
| README.md | -rw-r--r-- | 3.2 KB |
| models.csv | -rw-r--r-- | 1.5 KB |
| printLog.py | -rw-r--r-- | 1.3 KB |
| printLog2.py | -rw-r--r-- | 1.3 KB |
| runLarge.sh | -rw-r--r-- | 3.1 KB |
| runSmall.sh | -rw-r--r-- | 3.6 KB |
Computing file changes ...
