My Bachelor Thesis Presentation

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

Download presentation.pdf here. You can find releases history here.

Usage

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

Author

• Luca Parolari <luca.parolari23@gmail.com>

Acknowledgments

• My tutor, for the support ❤️
• unipr semantics repository, for some latex tips and document structure