GraphPebblingSAT.git, branch main An attempt to solve graph pebbling with SAT solvers http://git.marks.kitchen/cgit/GraphPebblingSAT.git/atom?h=main 2024-07-14T20:25:52Z Initial commit 2024-07-14T20:25:52Z Mark Powers mark@marks.kitchen 2024-07-14T20:25:52Z urn:sha1:9c30d01414561e579c0d8f474d7f3171f77b478e