Ciaran McCreesh

detectindent. Vim script for automatically detecting indent settings

inkpot. Inkpot 88/256 Colour Scheme for Vim

securemodelines. A secure alternative to Vim modelines

glasgow-subgraph-solver. A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.

dotfiles. My dotfiles

glasgow-constraint-solver. A constraint programming solver with support for proof logging

cp2015-subgraph-isomorphism. CP 2015 subgraph isomorphism experiments, data and paper

parasols. Parallel solvers for hard problems

aaai17-between-subgraph-isomorphism-and-maximum-common-subgraph-paper.

sicsa-multicore-challenge-iii. Third SICSA Multicore Challenge

paludis-overlay. Paludis overlay for Gentoo

googletest-syntax. Vim syntax highlighting for googletest

multithreadedmaximumclique. Multi-threaded maximum clique solver

cpm2018-lectures. TeX

jair-really-hard-sip-paper. Gnuplot

subgraph-isomorphism-in-practice-talk. Gnuplot

cpaior2021-finding-subgraphs-with-side-constraints. TeX

ijcai2021-clique-constraints-paper. C++

cp2015-boats-paper. TeX

decision-diagrams. C++

research-overview-talk. Gnuplot