• Stars
    star
    7
  • Rank 2,294,772 (Top 46 %)
  • Language
    Rust
  • Created about 3 years ago
  • Updated 8 months ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A Reduced-order Binary Decision Diagram (RoBDD) SAT solver written in Rust