Geeks
phreppo
/
bait
A ω-regular language inclusion checker
Primary Language
Java
GNU General Public License v3.0
GPL-3.0
bait GitHub
Markdown
Readme
0
Issues
6
Stargazers
2
Watchers
Stargazers
kyveli
linpengzhang
London, UK
pierreganty
Spain
genaim
Madrid
vonaka
francescoranzato
Padova, Italy