GitHub repository: lparolari/bachelor-thesis
Primary language: TeX
Description: Bachelor thesis: design and implementation in Picat of a set constraint solver.