Release of 2023 edition of motivation part

v1.17.0

update

Release of organisational slides for winter semester 23/24

Just a few adjustments compared to previous version

Release of organisational slides for winter semester 22/23

v1.15.0

refactor introductory slides (once more) for winter 22/23

Second pre-release of multi-shot solving

Add a disclaimer, thanks to Josef Schneeberger

Release of first version of controlling part

What's Changed

• Improved README; more complete install instructions by @ssardina in #18
• t/ms by @tortinator in #20

New Contributors

• @ssardina made their first contribution in #18
• @tortinator made their first contribution in #20

Full Changelog: v1.13.3...v1.14.0

Pre-release of second version of advanced encoding part

This prelease adds slides to the former one

See the first prelease for encodings (of the queens puzzles) and additional article

Pre-release gathering engineering slides

v1.13.2

produce pdfs

Pre-release of second version of meta programming part

First revision of migated material

Pre-release of first version of meta programming part

Migrated and refactored material stemming from ECAI'20 tutorial

Pre-release of first version of advanced encoding part

This is just the first slide deck covering the material on pimping queens