A Picat planning problem and domain for fixing a flat tire.
Information about the Picat language can be found at http://picat-lang.org
Once you have your PATH and PICATPATH environment variables set up properly, type picat flat_tire_problem.pi at a command prompt to find a solution.
FYI: Visual Studio Code has a Picat syntax coloring extension to make editing/reading the code easier.