mmcilree
2nd year PhD student at the University of Glasgow. Researching proof-logging for constraint solvers.
University of GlasgowGlasgow
Pinned Repositories
glasgow-constraint-solver
A constraint programming solver with support for proof logging
Academoo
An instance of a federated social media platform for Universities. Created for an undergraduate junior honours group project.
Demystify-Visualiser
A React-based tool that provides a visualisation of the human-understandable solutions to "pen and paper" puzzles produced by the "Demystify" solver.
DPLL-Unit-Propagation-In-C
Two implementations of unit propagation algorithms for DPLL SAT solving in C.
demystify
"Demystify", a tool which allows puzzles to be expressed in a high-level constraint programming language and uses MUSes to produce descriptions of steps in the puzzle solving.
stacshack-vi
Group 24-hour hackathon project for St Andrews Computer Science Society Hackathon 2020: Swords and Sorcery.
OPB-to-LaTeX
Convert a pseudo-Boolean formula to a LaTeX string.
Demystify-API
A REST API for the Demystify tool. Uses Flask to provide endpoints for the basic demystify functionality.
Constraint-Programming-and-Difference-Families-Blog
Some notes (in markdown blog-type form) on my background reading for my Senior Honours project: "Application of Constraint Solving to External Difference Families and Related Structures"
Constraints-and-EDFs
mmcilree's Repositories
mmcilree/manim-talk
A personal template for animated research talks, made with manim-slides.
mmcilree/manim-beamer
Some ad-hoc addons for the manim-slides library to make animated presentations that look like somewhat like latex/beamer slides.
mmcilree/pb-proofs-toolkit
mmcilree/veripb-trace-failure
Given a VeriPB proof trace that ends with a RUP failure, print all the unit propagations that result from the negation of the failing RUP constraint.
mmcilree/Tarjan-SCC
A Python implementation of Tarjan's strongly connected components algorithm.
mmcilree/gcspy
A python interface for the Glasgow Constraint Solver, a CP solver implemented as part of research into pseudo-Boolean proof-logging and auditable constraint solving.
mmcilree/OPB-to-LaTeX
Convert a pseudo-Boolean formula to a LaTeX string.
mmcilree/cpmpy
Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.
mmcilree/glasgow-constraint-solver
mmcilree/Constraints-and-EDFs
mmcilree/Python-EDFs
Some useful python functions for working with External Difference Families and related combinatorial structures.
mmcilree/SEDF-Search
Experiments in searching for strong external difference families via first looking for possible homomorphic images.
mmcilree/Constraint-Programming-and-Difference-Families-Blog
Some notes (in markdown blog-type form) on my background reading for my Senior Honours project: "Application of Constraint Solving to External Difference Families and Related Structures"
mmcilree/Kasiski-Method
An implementation of the Kasiski method for cracking the Vigenère cipher.
mmcilree/demystify
"Demystify", a tool which allows puzzles to be expressed in a high-level constraint programming language and uses MUSes to produce descriptions of steps in the puzzle solving.
mmcilree/Demystify-API
A REST API for the Demystify tool. Uses Flask to provide endpoints for the basic demystify functionality.
mmcilree/modern-full-stack-development
Source code for 'Modern Full-Stack Development' by Frank Zammetti
mmcilree/Academoo
An instance of a federated social media platform for Universities. Created for an undergraduate junior honours group project.
mmcilree/JFLAPtoTIKZ
A simple Python program to convert output from the JFLAP tool to a tikzpicture that can be included in a LaTeX file.
mmcilree/cs3099a-specification
mmcilree/Google-HashCode-2020
Practice Problem, final submission and a reusable general framework for Google HashCode 2020 competition.
mmcilree/stacshack-vi
Group 24-hour hackathon project for St Andrews Computer Science Society Hackathon 2020: Swords and Sorcery.
mmcilree/DPLL-Unit-Propagation-In-C
Two implementations of unit propagation algorithms for DPLL SAT solving in C.