Laurent Perron 511bf047a7 backport cp-sat code from main

2024-05-30 10:51:53 +02:00

..

contrib

cmake: rework java helper functions

2024-01-18 11:22:38 +01:00

cpp

cmake: rework add_cxx_example

2024-01-17 12:03:09 +01:00

dotnet

cmake: rework dotnet helper functions

2024-01-18 11:22:38 +01:00

flatzinc

fix flatzinc to follow the latest minizinc naming scheme for constraints

2020-09-29 11:53:15 +02:00

java

cmake: rework java helper functions

2024-01-18 11:22:38 +01:00

notebook

tools: update notebooks

2023-11-13 10:51:25 +01:00

python

backport cp-sat code from main

2024-05-30 10:51:53 +02:00

tests

cmake: rework java helper functions

2024-01-18 11:22:38 +01:00