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

044: Steiner triple systems

params.zip example .param files for Essence model