1. CSPLib
  2. Problems
  3. prob042
  4. Data

042: diagnosis

input.param Example .param file describing full-adder example for use with Essence model