This repository has been archived on 2025-03-06. You can view files and clone it, but cannot push or open issues or pull requests.

Jip J. Dekker ebac6af4c2

Adjust legend position of interpreter comparison

2021-06-30 11:50:39 +10:00

..

bibliography

Work on the benchmarks appendix

2021-06-22 15:39:33 +10:00

fonts

Switch fonts to IBM Plex

2021-05-17 17:34:57 +10:00

img

Adjust legend position of interpreter comparison

2021-06-30 11:50:39 +10:00

mzn

Work on the benchmarks appendix

2021-06-22 15:39:33 +10:00

py

Switch project to use minted

2021-03-02 13:45:53 +11:00

table

Add initial number of the SAT half-reification statistics

2021-06-16 15:43:49 +10:00

acronyms.tex

Add first real version of the introduction

2021-06-19 17:11:53 +10:00

glossary.tex

Some small glossary changes

2021-06-29 12:57:03 +10:00

layout.tex

Remove dots after table number

2021-06-12 17:20:15 +10:00

packages.tex

Generate assets in separate build processes

2021-06-30 11:42:53 +10:00

shorthands.tex

Work on aggregation in rewriting chapter

2021-06-29 12:43:16 +10:00