Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Oct 19, 2023

• Correcting for PR comments

  KennyVDV

  committed
  5128e33

  Copy full SHA for 5128e33

• Correcting for PR comments

  KennyVDV

  committed
  ada7daf

  Copy full SHA for ada7daf

Commits on Mar 29, 2023

• style changes

  KennyVDV

  committed
  c1242c8

  Copy full SHA for c1242c8

Commits on Mar 28, 2023

• consistency in spaces

  KennyVDV

  committed
  6757d29

  Copy full SHA for 6757d29

Commits on Mar 27, 2023

• variable renaming and comment adjustment

  KennyVDV

  committed
  c7eecc6

  Copy full SHA for c7eecc6

• Output as actual pieces

  KennyVDV

  committed
  c2ca6ee

  Copy full SHA for c2ca6ee

• Merge branch 'master' of https://github.com/KennyVDV/cpmpy

  KennyVDV

  committed
  246bf3c

  Copy full SHA for 246bf3c

• Changed the chess board to work with probabilities

  KennyVDV

  committed
  71798ea

  Copy full SHA for 71798ea

• Merge branch 'CPMpy:master' into master

  KennyVDV

  authored
  a4b9530

  Copy full SHA for a4b9530

• 255 comparison expression has no get bounds (#257)

  Show description for 30d45ba
  

  Wout4

  and

  IgnaceBleukx

  authored
  30d45ba

  Copy full SHA for 30d45ba

• Decompose globals (#246)

  Show description for 6077d90
  IgnaceBleukx

  authored
  6077d90

  Copy full SHA for 6077d90

Commits on Mar 15, 2023

• Merge pull request #224 from CPMpy/Bound_calculations

  Show description for 8fa6708
  JoD

  authored
  8fa6708

  Copy full SHA for 8fa6708

• Added some more documentation and fixed a last bug :)

  JoD

  committed
  5f803ae

  Copy full SHA for 5f803ae

Commits on Mar 14, 2023

• even more tests

  JoD

  committed
  bd4ebc3

  Copy full SHA for bd4ebc3

• improve tests

  JoD

  committed
  74e3971

  Copy full SHA for 74e3971

• address comments

  JoD

  committed
  5b3361d

  Copy full SHA for 5b3361d

• Merge branch 'master' into Bound_calculations

  JoD

  committed
  e54e96b

  Copy full SHA for e54e96b

Commits on Mar 13, 2023

• Manage incomplete functions when calculating value (#242)

  Show description for c8b4d2c
  IgnaceBleukx

  authored
  c8b4d2c

  Copy full SHA for c8b4d2c

• Add Inverse() global constraint (#252)

  Show description for 3524e1b
  bradediger

  authored
  3524e1b

  Copy full SHA for 3524e1b

Commits on Mar 10, 2023

• 248 cannot deepcopy model with nested list of constraints (#250)

  Show description for e136483
  IgnaceBleukx

  authored
  e136483

  Copy full SHA for e136483

Commits on Mar 7, 2023

• typo in wsum bounds

  Show description for 898c6c9
  Wout4

  committed
  898c6c9

  Copy full SHA for 898c6c9

• simplify z3 expr function

  Wout4

  committed
  35cf5bc

  Copy full SHA for 35cf5bc

• notes for PR

  tias

  committed
  5995e49

  Copy full SHA for 5995e49

• avoid some zip*'s, not sure it really is more readable...

  tias

  committed
  8b92f44

  Copy full SHA for 8b92f44

• wsum bounds, avoid zip/list

  tias

  committed
  6dc0a7d

  Copy full SHA for 6dc0a7d

Commits on Mar 6, 2023

• removed unnecessary argval call

  Wout4

  committed
  8df3dac

  Copy full SHA for 8df3dac

• get_bounds added for count

  Show description for d1c6eb7
  Wout4

  committed
  d1c6eb7

  Copy full SHA for d1c6eb7

• Merge branch 'master' into Bound_calculations

  Show description for 88bb07d
  Wout4

  committed
  88bb07d

  Copy full SHA for 88bb07d

• Count globals rebased (#245)

  Show description for 7c162dd
  

  3 peopleauthored
  7c162dd

  Copy full SHA for 7c162dd

• typo in docs

  Wout4

  committed
  c888645

  Copy full SHA for c888645

• rebase on Count_CP-MIP

  tias

  committed
  fc89c4b

  Copy full SHA for fc89c4b

• Merge branch 'Count_globals_rebased' into Bound_calculations

  tias

  committed
  ae002d5

  Copy full SHA for ae002d5

• Merge branch 'master' into Count_globals_rebased

  tias

  committed
  e7300f9

  Copy full SHA for e7300f9

• typo fix

  tias

  committed
  c66076b

  Copy full SHA for c66076b

• Merge branch 'master' into Count_globals_rebased

  tias

  committed
  2e6b241

  Copy full SHA for 2e6b241

Pagination

Previous

Next