Code

Docker solvers#135

Code

Open

conp-solutions wants to merge 5 commits intomasterconp-solutions/mergesat:masterfrom docker-solversconp-solutions/mergesat:docker-solversCopy head branch name to clipboard

+76-19

Commits

Commits on Apr 27, 2023

• docker: only copy relevant files

  Show description for 253e736
  conp-solutions

  committed
  253e736

• docker: use default Dockerfile, and customize

  Show description for 614205e
  conp-solutions

  committed
  614205e

Commits on Nov 13, 2023

• changelog: add 4.0

  Show description for 3d02950
  conp-solutions

  committed
  3d02950

Commits on Nov 20, 2023

• Revert "Revert "necessaryAssignment: use every 4 attempts""

  Show description for 128bdf9
  conp-solutions

  committed
  128bdf9

• Revert "Revert "activity,initialization: order by variable""

  Show description for c391f60
  conp-solutions

  committed
  c391f60