• Tutorial manual with example input files
  • Verification manual with corresponding input files
  • Theory manual covering all implementations