CP4 Free Source Code Project (C++17, Java11, Python3 and OCaml)

50+ solvers for logical puzzles, with 8000+ datasets, including Sudoku-like puzzles, Slitherlink, Pentomino, Hitori, Shikaku, Heyawake, Mosaic, Tent, Creek, Atari, Suguru, Kakuro, etc. Mainly solve…

Some simple Pop-11 examples that highlight some of the talking points of Pop-11

Web IDE for the Picat language based on Blazor and Monaco

All Algorithms implemented in Python

Advent of Operations Research 2024

Advent Of Code2024 (in Picat)

Combinatorics in Picat

Solutions to the Advent of Code 2024 puzzles.

Prolog, Datalog, languages, resources, and beyond!

probabilistic programming focused on fun

Probabilistic Programming

A series of Jupyter notebooks for my Medium articles.

My solutions to the problems in Fifty Challenging Problems in Probability by Frederick Mosteller

Constraint programming solver

Useful routines for solving New Scientist Enigma (and other) Puzzles in Python

A collection of optimization puzzles and problems solved using mostly mixed integer programming.

Downloadable files for eCLiPse Constraint Logic Programming and Picat

C. Hocquette, A. Niskanen, M Järvisalo, and Andrew Cropper, Learning MDL Logic Programs From Noisy Data, AAAI24.

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

An APL-like programming language

Small rational arithmetic library for Picat.

Toy SAT solver written in Nim.

Experiments with SAT-solving the Knight's Tour problem.

An ngn/k tutorial.

An ngn/k tutorial.

(Attempted) solutions to the Advent of Code 2016 puzzles.