Releases · fvcrusher/fvcrusher.github.io · GitHub

17 Jan 10:40

exesaLigno

v0.1-alpha Pre-release

Pre-release

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