Bachelor thesis: design and implementation in Picat of a set constraint solver.
-
Updated
Oct 11, 2019 - TeX
Bachelor thesis: design and implementation in Picat of a set constraint solver.
My bachelor thesis presentation.
Add a description, image, and links to the lset topic page so that developers can more easily learn about it.
To associate your repository with the lset topic, visit your repo's landing page and select "manage topics."