This is the compendium material to a workshop titled "Smorgasbord of Paradigms".
It aims to provide a variaty of different programming tools to solve specific tasks. Including, but not limited to
- Formal verification
- Linear Programming
- Constraint Satisfaction Programming
- Logic Programming
We use Make to automate various tasks in this project. Run
make
To kick things off.
On each push to main a new release is cut.