{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:cargo/debug_sat","name":"debug_sat","description":"A debuggable automatic theorem prover for boolean satisfiability problems (SAT).","version":"0.4.0","softwareVersion":"0.4.0","license":"https://spdx.org/licenses/MIT","codeRepository":"https://github.com/advancedresearch/debug_sat","issueTracker":"https://github.com/advancedresearch/debug_sat/issues","url":"https://github.com/advancedresearch/debug_sat","keywords":["sat","automated","debug","theorem","proving"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Rust"},"maintainer":[{"@type":"Person","name":"bvssvni","url":"https://github.com/bvssvni"}],"author":[{"@type":"Person","name":"bvssvni","url":"https://github.com/bvssvni"}],"copyrightHolder":[{"@type":"Person","name":"bvssvni","url":"https://github.com/bvssvni"}],"dateCreated":"2018-02-10","dateModified":"2018-02-14","datePublished":"2018-02-14","copyrightYear":2018,"downloadUrl":"https://static.crates.io/crates/debug_sat/debug_sat-0.4.0.crate","softwareHelp":{"@type":"WebSite","url":"https://docs.rs/debug_sat/"},"applicationCategory":"cargo","runtimePlatform":"cargo","developmentStatus":"active","sameAs":["https://crates.io/crates/debug_sat/"],"funder":[{"@type":"Organization","url":"https://github.com/sponsors/bvssvni"}],"https://www.w3.org/ns/activitystreams#likes":4,"https://forgefed.org/ns#forks":1}