Skip to content

Instantly share code, notes, and snippets.

View cbarrick's full-sized avatar
💭
Daydreaming in the Herbrand Universe

Chris Barrick cbarrick

💭
Daydreaming in the Herbrand Universe
View GitHub Profile
@larsmans
larsmans / nonogram.pl
Created August 15, 2011 13:22
Nonogram/paint-by-numbers solver in SWI-Prolog
/*
* Nonogram/paint-by-numbers solver in SWI-Prolog. Uses CLP(FD),
* in particular the automaton/3 (finite-state/RE) constraint.
* Copyright 2011, 2014 Lars Buitinck
* Copyright 2014 Markus Triska
* Do with this code as you like, but don't remove the copyright notice.
*/
:- use_module(library(clpfd)).