SoftVarE-Group/d-dnnf-reasoner

Issues

• Stream keeps CPU usage at 100%

  #29 opened 4 days ago
  0

• Fix Windows packaging

  #27 opened 5 days ago
  1

• Remove I/O from the library

  #25 opened 12 days ago
  0

• Random and t-wise commands produce inconsistent output in stream mode

  #23 opened 12 days ago
  0

• Split into workspace

  #19 opened 12 days ago
  0

• Fix clippy lints

  #17 opened 14 days ago
  0

• Find replacement for rug

  #16 opened 14 days ago
  0

• Some tests fail when run in parallel

  #14 opened a month ago
  2

• Some tests fail without d4

  #13 opened 20 days ago
  0

• Atomic-Cross Computes A & B and !A & !B as Two Separate Atomic Sets

  #10 opened 2 months ago
  0

• Running `d4` is not thread-safe

  #3 opened 5 months ago
  1