picat

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.

This repo contains my solutions to the AOC25 (Advent of Code 2025)

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

Build your agent workflow once. Frink runs it every time—triggering from your tools and stopping for your yes.

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

My bachelor thesis presentation.

ProjectEuler spoiler based on Picat with pen and paper.

Solving the 2015 Advent of Code puzzles with Picat