search

neuppl / rsdd

Performant and safe knowledge compilation in rust
https://neuppl.github.io/rsdd-docs/
MIT License
23 stars 9 forks source link

Add `RationalSemiring` with the `rational` crate #162

Closed mattxwang closed 1 year ago

mattxwang commented 1 year ago

Part of: #155