Sized get or insert with replacement

neuppl / rsdd

Performant and safe knowledge compilation in rust

https://neuppl.github.io/rsdd-docs/

MIT License

23 stars 9 forks source link

Open mattxwang opened 1 year ago

mattxwang commented 1 year ago

Good benchmark:

cargo run --example semantic_top_down_experiment -- -f ../Circuit-Model-Zoo/cnfs/easy/mux_mince.cnf