The Polycheck program with assets and solver installed in a container.