My public programs and models - mostly combinatorial problems and puzzles

Solutions to the Advent of Code 2021 puzzles. All but one are in Haskell, with one or two Rust/Python versions, and day 24 needed the power of Picat.

Semi-literate polyglot solutions to Advent of Code problems.

Pure implementation of {log} in Picat, a logic language.

Bachelor thesis: design and implementation in Picat of a set constraint solver.

Downloadable files for eCLiPse Constraint Logic Programming and Picat

AUR package for Picat

aoc

ProjectEuler spoiler based on Picat with pen and paper.

My bachelor thesis presentation.

Solving the 2015 Advent of Code puzzles with Picat