100644 blob 4d442dd044c0e07968167f26b4a740f439c0e14c	Dockerfile
100755 blob 0c90a1751b4334e2cd2d5e3bb48649dd18882e60	build.sh
100644 blob 1968313d03f99c049d51369cb6b1b37b4f1c4caa	project.yaml
100644 blob 86651ecf0ea55064e1975241b804a9058f3643e4	solver_fuzzer.cc