Graalvm demonstation This is the famous queens problem solved with the choco-solver with picocli as cli interface. The final docker container is 8MB!