{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:pub/z3","name":"z3","description":"High-level bindings to the Z3 SMT solver.","version":"0.1.0","softwareVersion":"0.1.0","codeRepository":"https://github.com/pingbird/dz3","issueTracker":"https://github.com/pingbird/dz3/issues","programmingLanguage":{"@type":"ComputerLanguage","name":"Dart"},"dateCreated":"2023-10-03","dateModified":"2023-10-03","datePublished":"2023-10-03","copyrightYear":2023,"downloadUrl":"https://pub.dev/packages/z3/versions/0.1.0.tar.gz","softwareHelp":{"@type":"WebSite","url":"https://pub.dev/documentation/z3/"},"applicationCategory":"pub","runtimePlatform":"pub","developmentStatus":"active","sameAs":["https://pub.dev/packages/z3"],"https://www.w3.org/ns/activitystreams#likes":9,"https://forgefed.org/ns#forks":1}