{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:cargo/ipasir-loading","name":"ipasir-loading","description":"Load shared libraries of IPASIR compatible SAT solvers.","version":"0.1.0","softwareVersion":"0.1.0","license":"https://spdx.org/licenses/GPL-3.0-or-later","codeRepository":"https://github.com/crillab/ipasir-loading","issueTracker":"https://github.com/crillab/ipasir-loading/issues","keywords":["ipasir","sat","satisfiability","solver"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Rust"},"maintainer":[{"@type":"Person","name":"elonca","url":"https://github.com/elonca"}],"author":[{"@type":"Person","name":"elonca","url":"https://github.com/elonca"}],"copyrightHolder":[{"@type":"Person","name":"elonca","url":"https://github.com/elonca"}],"dateCreated":"2024-11-22","dateModified":"2024-11-22","datePublished":"2024-11-22","copyrightYear":2024,"downloadUrl":"https://static.crates.io/crates/ipasir-loading/ipasir-loading-0.1.0.crate","softwareHelp":{"@type":"WebSite","url":"https://docs.rs/ipasir-loading/"},"applicationCategory":"cargo","runtimePlatform":"cargo","developmentStatus":"active","sameAs":["https://crates.io/crates/ipasir-loading/"]}