zee3
Bindings to the Z3 theorem prover.
Maintained on Hex by tmbb
Latest version
0.6.0
Last run
22 days ago
Checks
4
| Target / check | Status | Firmware size | Run |
|---|---|---|---|
|
host
host
|
pass | — | zee3-0.6.0-1789412224783 |
|
nerves_system_mangopi_mq_pro
0.17.2
View log
|
fail | — | zee3-0.6.0-1789412224783 |
|
nerves_system_rpi4
2.1.2
View log
|
fail | — | zee3-0.6.0-1789412224783 |
|
nerves_system_x86_64
1.34.2
View log
|
fail | — | zee3-0.6.0-1789412224783 |
Add this badge to your README
It updates itself as zee3's compatibility is reassessed.
Markdown
HTML