Mizux Seiha
|
a76bf1c5dd
|
bump license boilerplate
|
2024-01-04 13:43:15 +01:00 |
|
Laurent Perron
|
af879c6d17
|
big cleanup of includes
|
2023-08-24 17:14:58 +02:00 |
|
Laurent Perron
|
fa6883d544
|
mostly cleaning: remove integral_types.h and basictypes.h
|
2023-08-24 14:52:54 +02:00 |
|
Laurent Perron
|
dbd5a69471
|
use new logging flags
|
2023-02-17 15:17:12 +01:00 |
|
Laurent Perron
|
9321ab2096
|
update and fix examples
|
2022-09-09 16:49:24 +02:00 |
|
Corentin Le Molgat
|
c7120439d4
|
Bump license date
|
2022-06-17 14:23:23 +02:00 |
|
Laurent Perron
|
4c8570a57c
|
use init_google.h in c++ examples
|
2022-02-25 09:47:52 +01:00 |
|
Laurent Perron
|
6ae332569b
|
natural API for Cp_SAT C++
|
2021-12-09 15:29:49 +01:00 |
|
Laurent Perron
|
29791a179f
|
reindent, add #include <cstding>
|
2021-04-23 14:55:51 +02:00 |
|
Corentin Le Molgat
|
baf02eca7e
|
update examples
|
2021-04-02 16:05:40 +02:00 |
|
Mizux Seiha
|
c0f6978f3b
|
Update copyright
|
2021-04-02 10:08:51 +02:00 |
|
Laurent Perron
|
805b733f98
|
sync most c++ examples
|
2021-01-14 10:48:19 +01:00 |
|
Corentin Le Molgat
|
e4caaf96bc
|
format file forcing the left alignment
|
2020-10-29 14:25:39 +01:00 |
|
Mizux Seiha
|
66bc68192f
|
Fix examples
|
2020-10-24 00:50:28 +02:00 |
|
Mizux Seiha
|
20d0496bfb
|
reapply google format
|
2020-10-23 00:45:17 +02:00 |
|
Laurent Perron
|
a4258f2bdf
|
switch flags setters and getters to the absl format
|
2020-10-21 00:21:54 +02:00 |
|
Mizux Seiha
|
ea95fb1c40
|
Format all examples/cpp
|
2020-09-23 11:45:03 +02:00 |
|
Laurent Perron
|
b78002be05
|
remove CP-SAT SolveWithModel, keep the equivalent SolveCpModel; optimize internal model
|
2019-05-15 20:19:00 +02:00 |
|
Laurent Perron
|
17b9b597a1
|
change CP-SAT C++ Api to call Build() on the model before solving; use log_search_progress parameters to display all log; enable this parameter in non C++ language; call InitGoogleLogging() automatically in non C++ languages
|
2019-04-05 14:58:33 +02:00 |
|
Laurent Perron
|
798b9e73e2
|
fix the rest of the C++ examples
|
2018-11-30 14:48:55 +01:00 |
|
Laurent Perron
|
46a78c021d
|
golomb -> golomb_sat
|
2018-11-24 23:06:05 +01:00 |
|