Issues

• error[E0432]: unresolved import rand::rngs::SmallRng in cargo build

  neuppl/rsdd#196 · Filter by author sampollard opened on Feb 20, 2026

• Incorrect model counts

  neuppl/rsdd#193 · Filter by author jsfpdn opened on Dec 16, 2024

• Crash in cond_with_alloc on small bdd (order dependent)

  neuppl/rsdd#190 · Filter by author dbueno opened on Jun 27, 2024
  1

• BDD is not reduced when running CLI

  neuppl/rsdd#187 · Filter by author lisaoakley opened on Nov 8, 2023
  1

• CLI: Ternary And operations giving incorrect output

  neuppl/rsdd#186 · Filter by author lisaoakley opened on Nov 8, 2023

• Generate all valid models for a given logical formula and/or CNF

  enhancement
  neuppl/rsdd#166 · Filter by author mattxwang opened on Jul 27, 2023

• BDD variable swapping and reordering

  blockedenhancement
  neuppl/rsdd#160 · Filter by author SHoltzen opened on Jul 24, 2023

• Binaries

  enhancement
  neuppl/rsdd#155 · Filter by author SHoltzen opened on Jul 23, 2023 · 1.0
  1

  

• Garbage collection

  enhancement
  neuppl/rsdd#154 · Filter by author SHoltzen opened on Jul 23, 2023

• Consider caching CI

  neuppl/rsdd#66 · Filter by author mattxwang opened on Mar 20, 2023

• Add import/export

  enhancement
  neuppl/rsdd#1 · Filter by author SHoltzen opened on Nov 5, 2021 · 1.0