neuppl / rsdd

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

Make buildable on Rust 1.63 (downgrade `petgraph`, remove `where` clause on associated type) #177

Closed mattxwang closed 1 year ago

mattxwang commented 1 year ago

This is mostly for the OCaml package CI.