Commit Graph

7 Commits

Author SHA1 Message Date
Corentin Le Molgat
ff9e6bb935 remove last integral_types.h 2023-09-04 10:24:00 +02:00
Laurent Perron
77e4cc8d7e [CP-SAT] full subtour elimination cuts for circuit; update python doc to black 2023-07-01 06:10:55 +02:00
Laurent Perron
09d534a2b7 [CP-SAT] rewrite Rins/Rens; fix #3825; cleanups 2023-06-17 12:10:17 +02:00
Laurent Perron
4ca1add04e sync after export tool change 2023-01-20 14:20:41 +01:00
Corentin Le Molgat
aad0e67975 export from google3 2022-10-05 15:56:33 +02:00
Corentin Le Molgat
3ec462f647 sat: Update doc toc generation 2022-02-23 17:42:27 +01:00
Corentin Le Molgat
8a83e4265b doc: mv doc/ to docs/ 2022-02-23 16:19:26 +01:00