GitHub repository: neuppl/rsdd
Primary language: Rust
Description: Performant and safe knowledge compilation in rust