aliaume/polycheck-small repository overview

This is a small docker image for the Polycheck program (https://github.com/AliaumeL/polyregular-model-checking⁠) that contains the core program, together with compatible solvers: MONA, CVC5, Alt-Ergo, and Z3.