@misc{indiciae8c85c06fe19a,
  title = {Kiwi - A Minimalist CP Solver},
  author = {Renaud Hartert},
  year = {2017},
  url = {https://arxiv.org/abs/1705.00047},
  note = {Source identifier: 1705.00047}
}