Awesome Open Source

Programming Languages

Simba

Synthesis from Inductive specification eMpowered by Bidirectional Abstract Interpretation

Categories > Slash

Suggest Alternative

Stars

14

License

gpl-3.0

Most Recent Commit

7 months ago

Programming Language

Slash

Suggest An Alternative To simba

Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source. All rights reserved.