{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:golang/github.com/formalsec/smtml","name":"github.com/formalsec/smtml","description":"An SMT solver frontend for OCaml","version":"v0.30.0","softwareVersion":"v0.30.0","license":"https://spdx.org/licenses/MIT","codeRepository":"https://github.com/formalsec/smtml","issueTracker":"https://github.com/formalsec/smtml/issues","programmingLanguage":{"@type":"ComputerLanguage","name":"OCaml"},"dateCreated":"2023-11-19","dateModified":"2026-08-13","datePublished":"2026-08-13","copyrightYear":2023,"downloadUrl":"https://proxy.golang.org/cached-only/github.com/formalsec/smtml/@v/v0.30.0.zip","softwareHelp":{"@type":"WebSite","url":"https://pkg.go.dev/github.com/formalsec/smtml#section-documentation"},"applicationCategory":"go","runtimePlatform":"go","developmentStatus":"active","sameAs":["https://pkg.go.dev/github.com/formalsec/smtml"],"https://www.w3.org/ns/activitystreams#likes":81,"https://forgefed.org/ns#forks":18}