Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

github.com/formalsec/smtml

An SMT solver frontend for OCaml

Ecosystem
proxy.golang.org
Latest Release
v0.20.0
about 1 month ago
Versions
36
    Loading...
    Readme
    Loading...
    Links
    Registry proxy.golang.org
    Source Repository
    Docs Documentation
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:golang/github.com/formalsec/smtml
    spec
    License MIT
    First Release over 2 years ago
    Last Synced 6 days ago
    Keywords
    alt-ergo bitwuzla colibri2 cvc5 ocaml smt smt-lib symbolic-execution webassembly z3
    Repository
    Stars 53 on GitHub
    Forks 13 on GitHub
    repos.ecosyste.ms
    Rankings on proxy.golang.org
    Overall Top 5.9%