keyvalue
id304380479
nameAZ3
full_nameComponolit/AZ3
html_urlhttps://github.com/Componolit/AZ3
descriptionAda binding to the Z3 Theorem Prover
created_atOct. 15, 2020, 4:07 p.m.
updated_atAug. 12, 2024, 10:47 a.m.
pushed_atAug. 11, 2024, 4:20 p.m.
size436
stargazers_count6
watchers_count4
forks_count1
open_issues0
languageAda
awesome_list

https://github.com/ohenley/awesome-ada