1. CSPlib
  2. Problems
  3. prob043
  4. Data

043: differential diagnosis

benchmarks.inline.md