Laurent Perron 2c50d8bc16 Add absl::Stringify for protobufs in base/logging.h; fixes all around

2023-02-01 14:14:30 +01:00

..

contrib

example: SchoolSchedulingSat cleanup

2022-12-21 09:42:43 +01:00

cpp

Add absl::Stringify for protobufs in base/logging.h; fixes all around

2023-02-01 14:14:30 +01:00

dotnet

Add license boiler plate

2022-10-05 18:34:27 +02:00

flatzinc

…

java

examples/java: fixup

2022-10-10 13:44:12 +02:00

notebook

notebook: update

2022-12-21 09:54:15 +01:00

python

more absl::string_view in the c++ code; sync examples/python, remove jniutils.h; move sat/python/visualization.py to sat/colab

2023-01-29 21:20:58 +01:00

tests

Remove logging code; use absl one

2023-01-31 20:46:43 +01:00