trappist
Minimal Trap Spaces computation using Maximal Siphons
Activity
- Latest release
- 2y ago
- Total releases
- 10
- Cadence
- ~daily
- Last 12 months
- 0
Details
- License
- GPL-3.0
- First release
- Dec 19, 2022
Releases
| Version | Released | |
|---|---|---|
1.1.3
patch
| ||
1.1.2
patch
| ||
1.1.0
minor
| ||
1.1.1
patch
| ||
1.0.0
major
| ||
0.8.0
minor
| ||
0.7.0
minor
| ||
0.6.0
minor
| ||
0.1.0
initial
| ||
0.5.0
minor
|