{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:cargo/smt2parser","name":"smt2parser","description":"Generic parser library for the SMT-LIB-2 format","version":"0.6.1","softwareVersion":"0.6.1","license":["https://spdx.org/licenses/MIT","https://spdx.org/licenses/Apache-2.0"],"codeRepository":"https://github.com/facebookincubator/smt2utils","issueTracker":"https://github.com/facebookarchive/smt2utils/issues","keywords":["smt-lib","smt","solver"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Jupyter Notebook"},"maintainer":[{"@type":"Person","name":"ma2bd","url":"https://github.com/ma2bd"}],"author":[{"@type":"Person","name":"ma2bd","url":"https://github.com/ma2bd"}],"copyrightHolder":[{"@type":"Person","name":"ma2bd","url":"https://github.com/ma2bd"}],"dateCreated":"2021-01-05","dateModified":"2021-09-08","datePublished":"2021-09-08","copyrightYear":2021,"downloadUrl":"https://static.crates.io/crates/smt2parser/smt2parser-0.6.1.crate","softwareHelp":{"@type":"WebSite","url":"https://docs.rs/smt2parser/"},"applicationCategory":"cargo","runtimePlatform":"cargo","developmentStatus":"active","sameAs":["https://crates.io/crates/smt2parser/"],"https://www.w3.org/ns/activitystreams#likes":24,"https://forgefed.org/ns#forks":16}