Find Legal Moves in Brass Birmingham With Logic Programming
Piotr Zakrzewski
Command Palette
Search for a command to run...
Archive
8 posts published so far
Analysing GO code with Souffle
Piotr Zakrzewski
When to dump JSON?
Piotr Zakrzewski
Matching GPS to a road
Piotr Zakrzewski
Python Exploration with Z3
Piotr Zakrzewski
Will your PR ever be Merged?
Piotr Zakrzewski
Macrobase Diff Case Study 1: IMDB Movies
Piotr Zakrzewski
Macrobase Diff — minimal implementation
Piotr Zakrzewski