Commit Graph

28 Commits

Author SHA1 Message Date
Laurent Perron
84ec414e61 use black on examples/python 2023-07-01 06:06:53 +02:00
Laurent Perron
a06d0ed7a0 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
Corentin Le Molgat
4f647a0d61 examples/python: cleanup 2022-10-10 13:44:12 +02:00
Corentin Le Molgat
c7120439d4 Bump license date 2022-06-17 14:23:23 +02:00
Corentin Le Molgat
34e442cd5d examples: Fix main default parameter 2022-04-14 14:44:13 +02:00
Laurent Perron
93934e3660 improve rcpsp_sat.py; add optional model to knapsack_2d_sat.py; minor change to hidato_sat.p 2021-12-13 10:46:45 +01:00
Laurent Perron
efd16c78da [CP-SAT] deprecate SearchAllSolutions and SolveWithSolutionCallback 2021-05-03 12:11:39 +02:00
Mizux Seiha
c0f6978f3b Update copyright 2021-04-02 10:08:51 +02:00
Laurent Perron
4ececbe448 update python code, remove __future__ imports, remove six, use absl-py for flags, update examples 2020-11-18 10:50:14 +01:00
Laurent Perron
54bda4bd42 fix examples after FEASIBLE -> OPTIMAL CP-SAT change; improve display of the sudoku problem 2020-09-20 09:04:28 +02:00
Laurent Perron
cd6bf20fe5 mostly reindent of examples 2019-05-06 10:31:03 +02:00
Corentin Le Molgat
0465276e14 Fix wall time dimension in sat examples
WallTime is in second not millisecond...
2019-01-14 09:57:15 +01:00
Corentin Le Molgat
c2ae098d34 Apply yapf on examples/python/*.py 2018-11-30 14:48:55 +01:00
Laurent Perron
f2573d33b1 Fix merge abseil - v6.10 2018-11-30 14:48:55 +01:00
Corentin Le Molgat
b027e57e95 dotnet: Remove reference to dotnet release command
- Currently not implemented...

Add abseil patch

- Add patches/absl-config.cmake

Makefile: Add abseil-cpp on unix

- Force abseil-cpp SHA1 to 45221cc
  note: Just before the PR #136 which break all CMake

Makefile: Add abseil-cpp on windows

- Force abseil-cpp SHA1 to 45221cc
  note: Just before the PR #136 which break all CMake

CMake: Add abseil-cpp

- Force abseil-cpp SHA1 to 45221cc
  note: Just before the PR #136 which break all CMake

port to absl: C++ Part

- Fix warning with the use of ABSL_MUST_USE_RESULT
  > The macro must appear as the very first part of a function
    declaration or definition:
    ...
    Note: past advice was to place the macro after the argument list.
  src: dependencies/sources/abseil-cpp-master/absl/base/attributes.h:418
- Rename enum after windows clash
- Remove non compact table constraints
- Change index type from int64 to int in routing library
- Fix file_nonport compilation on windows
- Fix another naming conflict with windows (NO_ERROR is a macro)
- Cleanup hash containers; work on sat internals
- Add optional_boolean sub-proto

Sync cpp examples with internal code
- reenable issue173 after reducing number of loops

port to absl: Python Part

- Add back cp_model.INT32_MIN|MAX for examples

Update Python examples

- Add random_tsp.py
- Run words_square example
- Run magic_square in python tests

port to absl: Java Part

- Fix compilation of the new routing parameters in java
- Protect some code from SWIG parsing

Update Java Examples

port to absl: .Net Part

Update .Net examples

work on sat internals; Add C++ CP-SAT CpModelBuilder API; update sample code and recipes to use the new API; sync with internal code

Remove VS 2015 in Appveyor-CI

- abseil-cpp does not support VS 2015...

improve tables

upgrade C++ sat examples to use the new API; work on sat internals

update license dates

rewrite jobshop_ft06_distance.py to use the CP-SAT solver

rename last example

revert last commit

more work on SAT internals

fix
2018-11-30 14:48:55 +01:00
Laurent Perron
5d26ad890f sync examples 2018-11-21 11:00:26 -08:00
Laurent Perron
df8c8892f3 ported most official python cp examples to CP-SAT; cleaned up a few of them 2018-11-19 20:42:23 -08:00
Laurent Perron
d99cf97acb reformat python files as tab length = 4 now 2018-11-11 09:39:59 +01:00
Laurent Perron
87b9d55b21 update license headers 2018-11-10 18:00:53 +01:00
Laurent Perron
bd04f656b3 rename MODEL_SAT to FEASIBLE, MODEL_UNSAT to INFEASIBLE 2018-07-02 15:35:40 +02:00
Laurent Perron
72db1d9ef2 run pyformat on python examples 2018-06-11 11:51:18 +02:00
Laurent Perron
fc711a5748 run_from_ipython -> RunFromIPython 2017-11-24 14:47:10 +01:00
Laurent Perron
e79811e9bb cleanup is_run_from_ipython() 2017-11-24 13:49:39 +01:00
Laurent Perron
b645ce1f52 add license to examples; add example from the documentation 2017-11-22 14:55:44 +01:00
Laurent Perron
b404a0b989 scrub python sat examples from colab features 2017-11-22 11:25:51 +01:00
Laurent Perron
21f9744862 modify python sat examples to use visualization when run from IPython; change corresponding notebooks 2017-11-21 03:54:06 +01:00
Laurent Perron
4bea1f9922 improve hidato_sat.py 2017-10-15 14:39:49 +02:00
Laurent Perron
20ba8015bc fix sat bugs found by new examples; improve gitignore 2017-10-11 03:05:13 -07:00