We have released version 1.5 of LTSmin. The following improvements have been implemented:
- New frontend DVE (requires DiVinE-cluster)
- Bignum support for state counts in spec-reach tools
- spec-reach clean-up
- 'tree' vector set implementation based on AtermDD
The source code, installation instructions and manuals are available online:
The previous release was LTSmin 1.4.