Skip to content

v0.1-alpha

Pre-release
Pre-release

Choose a tag to compare

View all tags
@exesaLigno exesaLigno released this 17 Jan 10:40
· 113 commits to master since this release
v0.1-alpha
825ad9f

Minimal working version of FVCrusher, includes LTL to Buchi solver and main page

Full Changelog: https://github.com/fvcrusher/fvcrusher.github.io/commits/v0.1-alpha

Assets 2
Loading