Code

XCSP3 in tools#597

Code

Draft

Wout4 wants to merge 41 commits intomasterCPMpy/cpmpy:masterfrom

tools_xcsp3CPMpy/cpmpy:tools_xcsp3Copy head branch name to clipboard

Commits

Commits on Feb 20, 2025

• add callbacks to tools

  Wout4

  committed
  3787f8d

  Copy full SHA for 3787f8d

• Merge branch 'master' into tools_xcsp3

  Wout4

  committed
  a2fd4ee

  Copy full SHA for a2fd4ee

• add solution formatting in xml

  Wout4

  committed
  10b8cc9

  Copy full SHA for 10b8cc9

Commits on Feb 21, 2025

• add xcsp3 globals

  Wout4

  committed
  0f4cc45

  Copy full SHA for 0f4cc45

• more globals

  Wout4

  committed
  180db05

  Copy full SHA for 180db05

• more globals

  Wout4

  committed
  47e5fca

  Copy full SHA for 47e5fca

• fix imports

  Wout4

  committed
  4b029f8

  Copy full SHA for 4b029f8

• optimize has_subexpr for tables

  Wout4

  committed
  9e0ac46

  Copy full SHA for 9e0ac46

• optimize has_subexpr for tables

  Wout4

  committed
  2f9d93b

  Copy full SHA for 2f9d93b

• basic model runner

  Wout4

  committed
  4d0b1f9

  Copy full SHA for 4d0b1f9

• write timings to csv

  Wout4

  committed
  c0b60af

  Copy full SHA for c0b60af

• add installer to download instances

  Wout4

  committed
  6dbfa3f

  Copy full SHA for 6dbfa3f

• add installer to run_model

  Wout4

  committed
  d0beb0c

  Copy full SHA for d0beb0c

• cleanup prints

  Wout4

  committed
  01efa75

  Copy full SHA for 01efa75

• option to only run transform

  Wout4

  committed
  1a4bc87

  Copy full SHA for 1a4bc87

Commits on Feb 24, 2025

• disable garbage collection

  Wout4

  committed
  012af56

  Copy full SHA for 012af56

• also write solver to csv

  Wout4

  committed
  65d7628

  Copy full SHA for 65d7628

• add t_transform t_add and t_parse

  Wout4

  committed
  af4dd1c

  Copy full SHA for af4dd1c

• fix only_transform parameter

  Wout4

  committed
  4ab2b94

  Copy full SHA for 4ab2b94

• ifthenelsenum in xglobals.py

  Wout4

  committed
  062b82f

  Copy full SHA for 062b82f

• ifthenelsenum in xglobals.py

  Wout4

  committed
  5963581

  Copy full SHA for 5963581

• add timelimit, and only 6 cores for ortools

  Wout4

  committed
  f556353

  Copy full SHA for f556353

• Merge branch 'tools_xcsp3' of https://github.com/CPMpy/cpmpy into tools_xcsp3

  

  Wout Vanroose

  committed
  13e8eb9

  Copy full SHA for 13e8eb9

Commits on Feb 25, 2025

• Merge branch 'table_has_subexpr' into tools_xcsp3

  Wout4

  committed
  00b9436

  Copy full SHA for 00b9436

• Merge branch 'tools_xcsp3' of https://github.com/CPMpy/cpmpy into tools_xcsp3

  

  Wout Vanroose

  committed
  7c9fc9c

  Copy full SHA for 7c9fc9c

Commits on Feb 26, 2025

• cleanup printing a bit

  tias

  committed
  3574340

  Copy full SHA for 3574340

Commits on Feb 28, 2025

• timings results

  

  Wout Vanroose

  committed
  f74590c

  Copy full SHA for f74590c

• Merge branch 'tools_xcsp3' of https://github.com/CPMpy/cpmpy into tools_xcsp3

  

  Wout Vanroose

  committed
  02692ef

  Copy full SHA for 02692ef

• add simple plots for results

  Wout4

  committed
  31c4f87

  Copy full SHA for 31c4f87

• refactor file structure

  Wout4

  committed
  72e5938

  Copy full SHA for 72e5938

• remove has_subexpr from this pr

  Wout4

  committed
  f5f28f5

  Copy full SHA for f5f28f5

Commits on Mar 19, 2025

• Add some docstrings

  ThomSerg

  committed
  472b02a

  Copy full SHA for 472b02a

• copy competition runner as-is

  ThomSerg

  committed
  964ea90

  Copy full SHA for 964ea90

• Make competition executable runnable

  ThomSerg

  committed
  0370d5c

  Copy full SHA for 0370d5c

• Add basic CLI to downloader

  ThomSerg

  committed
  c0202e0

  Copy full SHA for c0202e0

• Add some notes

  ThomSerg

  committed
  5559052

  Copy full SHA for 5559052

Commits on Apr 23, 2025

• remove unfinished benchmarking script

  tias

  committed
  4231b43

  Copy full SHA for 4231b43

• remove unfinished csv comparison functions

  tias

  committed
  a9eca83

  Copy full SHA for a9eca83

Commits on Apr 24, 2025

• Fix xglobals renaming

  ThomSerg

  committed
  223664f

  Copy full SHA for 223664f

• Merge remote-tracking branch 'origin/tools_xcsp3' into tools_xcsp3

  ThomSerg

  committed
  b014fe2

  Copy full SHA for b014fe2

• Fix downloader script for 2023

  ThomSerg

  committed
  98f6a87

  Copy full SHA for 98f6a87