Commit Graph

26 Commits

Author SHA1 Message Date
Laurent Perron
8b6da37ed5 revert last commit 2018-12-01 16:06:18 +01:00
Laurent Perron
7ca7fc393a remove template specialization in min/max after int64 revamp 2018-12-01 15:20:35 +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
4c661f07ae remove jobshop_earlytardy; add support for earliness in jobshop_sat; improve jobshop_scheduling_parser to support jet file (Jobshop Early Tardy) 2018-11-23 15:25:12 +01:00
Corentin Le Molgat
24ad8771ef Format examples/cpp 2018-11-22 13:15:13 +01:00
Laurent Perron
87b9d55b21 update license headers 2018-11-10 18:00:53 +01:00
Laurent Perron
7cb9f2b893 enable some of sat presolve when enumerating all solutions; polish jobshop_sat example 2018-11-09 15:07:37 +01:00
Laurent Perron
692114def7 port c++ sat examples to the new API; add little methods to the sat C++ api 2018-11-07 17:25:58 +01:00
Laurent Perron
b676ac3c70 fix jobshop_sat 2018-09-12 18:32:05 +02:00
Laurent Perron
8441579339 fix jobshop_sat.cc 2018-09-12 17:53:34 +02:00
Laurent Perron
6170e82097 fix a few warnings in examples 2018-09-06 22:57:59 +02:00
Laurent Perron
70e73d8754 clang-format 2018-06-08 16:40:43 +02:00
Laurent Perron
bd106059e5 support assembly scheduling in the jobshop_scheduling.proto and corresponding examples/cpp/jobshop_sat.cc 2018-05-22 13:13:52 +02:00
Laurent Perron
55d906819f add jobshop scheduling proto + parser + sat solver 2018-04-18 13:37:29 +02:00
Laurent Perron
023bc19334 update C++ examples after changes in base library 2018-04-11 13:47:07 +02:00
Laurent Perron
bace30695d export base::SetFlag and base::GetFlag; use them in examples 2017-12-14 12:46:53 +01:00
Laurent Perron
2c7a8bf8f6 change copyright date 2017-10-17 13:08:10 +02:00
Laurent Perron
7d65b79f95 shuffle code around to prepare sat API to be proto only/prefered 2017-07-26 15:23:29 -07:00
Laurent Perron
66b8d23079 move src to ortools; simplified python generation; remove some namespaces in the ortools/base helper files 2017-04-26 17:30:25 +02:00
Laurent Perron
395e170563 update examples after library changes 2017-03-28 16:13:30 +02:00
Laurent Perron
c0a5987ff5 misc improvements in the code 2016-12-13 15:49:57 +01:00
Laurent Perron
5030a8a213 add 2 new sat based examples: shift_minimization, and rcpsp; port old examples to new API 2016-12-08 14:59:14 +01:00
Driss Lahlou
bd0ecc2d06 edit multidim_knapsack to print assigned items + formatting the code 2016-11-16 18:20:16 +01:00
Laurent Perron
9875d5c65a more work on sat/fz 2016-09-22 15:18:08 +02:00
Laurent Perron
cb98b1fa71 improve sat code; misc glop API 2016-09-12 13:42:16 +02:00
Laurent Perron
3e158e7656 sat based scheduling: no_cycle, disjunctive, precedences + 2 examples: jobshop_sat and weighted_tardiness_sat 2016-07-19 14:19:21 -07:00