astra-uu-se / atlantis

CBLS solver
2 stars 1 forks source link

Add Dockerfile to create a Docker image for the MiniZinc Challenge #159

Closed Dekker1 closed 3 months ago

Dekker1 commented 3 months ago

This PR adds a Dockerfile according to the MiniZinc Challenge instructions: https://www.minizinc.org/challenge/2024/docker/

Note that because Atlantis (and its parser dependency) is still closed source, you need to build with the --ssh default flag, exposing your SSH configuration.

I use the following build command:

docker build --ssh default -t atlantis:latest .

Although the build succeeds correctly, the test command fails. Seemingly the following FlatZinc cannot be solved correctly:

var 2..3: x:: output_var;
solve :: int_search([x],input_order,indomain_min,complete) maximize x;

Just returning =====ERROR=====, locally this seems to give a segmentation fault