Laurent Perron 5b911b1169 [CP-SAT] add ~operator for the logical negation in C++ and Python; fix a bug in C#

2023-12-15 14:10:44 +01:00

..

contrib

cmake: Add missing license boilerplate

2023-05-24 15:34:57 +02:00

cpp

[CP-SAT] add ~operator for the logical negation in C++ and Python; fix a bug in C#

2023-12-15 14:10:44 +01:00

dotnet

add integer and linear programming test for dotnet python and java

2023-11-13 15:29:08 +01:00

flatzinc

fix flatzinc to follow the latest minizinc naming scheme for constraints

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

java

Feature/xpress only (#115)

2023-11-20 12:43:41 +01:00

notebook

tools: update notebooks

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

python

[CP-SAT] add ~operator for the logical negation in C++ and Python; fix a bug in C#

2023-12-15 14:10:44 +01:00

tests

mostly cleaning: remove integral_types.h and basictypes.h

2023-08-24 14:52:54 +02:00