owi
| Crates.io | owi |
| lib.rs | owi |
| version | 0.2.0 |
| created_at | 2024-02-22 17:57:27.09092+00 |
| updated_at | 2026-01-16 14:55:11.675933+00 |
| description | Bindings to the C symbolic API of the owi bug finding tool |
| homepage | https://ocamlpro.github.io/owi/ |
| repository | https://github.com/OCamlPro/owi |
| max_upload_size | |
| id | 1149555 |
| size | 8,614 |
Arthur Carcano (krtab)
documentation
README
Bindings to owi's C API.