Design and implementation in Picat of a set constraint solver
This repository contains the latest version of my thesis presentation. This presentation was discussed in 26/09/2019. Please if you find it useful click the ⭐ button, I'll really appreciate it!
This presentation is highly related to my thesis and setlog-picat project, which contains the source code of the solver described in the thesis and in the presentation.
Download presentation.pdf
here.
You can find releases history
here.
You can download the source code to your local machine with the following commands.
# download it
git clone https://github.com/lparolari/bachelor-thesis-presentation.git
# and make it your!
cd bachelor-thesis-presentation
rm -rf .git
In order to compile the sources you can use the Makefile
with
the following commands.
make slides1 # compiles the sldies with pdflatex
make slides2 # compiles the slides with docker
make talk1 # compiles the talk with pdflatex
make talk2 # compiles the talk with docker
The following shortcut are available:
make slides # equivalent to `make slides1`
make talk # equivalent to `make talk1`
You can read compile sources with:
make read
- Luca Parolari <[email protected]>
- My tutor, for the support ❤️
- unipr semantics repository, for some latex tips and document structure