Commit Graph

1415 Commits

Author SHA1 Message Date
Corentin Le Molgat
0bb40c4fdb Fixup archive script 2018-11-23 11:14:59 +01:00
Corentin Le Molgat
f63f6f7051 Move some examples to constraint_solver/samples 2018-11-23 10:49:46 +01:00
Corentin Le Molgat
60fa2fb271 Make FAP a header only library 2018-11-23 08:52:59 +01:00
Corentin Le Molgat
20d9bc0e50 Make Dimacs a header only library
- Remove special case in Makefile rules
2018-11-22 18:14:06 +01:00
Corentin Le Molgat
98cbd29324 Make cvrptw_lib a header only lib.
- don't need extra stuff in Makefile anymore
2018-11-22 18:04:57 +01:00
Corentin Le Molgat
266a2a1ba0 cleanup Makefile.cpp.mk 2018-11-22 18:04:57 +01:00
Laurent Perron
7566c682ca remove jobshop cp examples; keep jobshop_earlytardy for now 2018-11-22 04:41:10 -08:00
Laurent Perron
7b5f8c6db9 merge 2018-11-22 04:19:35 -08:00
Laurent Perron
37ef66ef86 replace magic_square by magic_square_sat with much improved performance 2018-11-22 04:17:54 -08:00
Corentin Le Molgat
6b485a7050 Disable concurreny for dotnet samples
All samples in the same directory will use the same bin obj directory
and dotnet/cli doesn't support concurrency on few of them.
e.g. obj/project.assets.json
2018-11-22 10:59:35 +01:00
Laurent Perron
d5bd0940cd remove cryptarithm example 2018-11-22 01:38:13 -08:00
Laurent Perron
78d31daf0f remove model_util example; port slitherlink to CP-SAT; port sports_scheduling to CP-SAT; fix test_cc 2018-11-22 01:30:28 -08:00
Corentin Le Molgat
7e47d2dae5 Add SimpleMipProgram from g3 2018-11-22 09:47:20 +01:00
Corentin Le Molgat
3e1a3f6e0c clean flatzinc archive 2018-11-21 16:46:47 +01:00
Corentin Le Molgat
0854744350 Fix dotnet makefile 2018-11-21 15:06:42 +01:00
Laurent Perron
1831f30eba port more C# CP examples to CP-SAT 2018-11-20 14:47:46 -08:00
Laurent Perron
dbbe4d9829 port some CP C# examples to CP-SAT 2018-11-20 14:21:43 -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
4379a89323 rename sudoku.py to sudoky_sat.py 2018-11-19 18:05:31 -08:00
Laurent Perron
4d7f1dec01 rename zebra.py to zebra_sat.py 2018-11-19 14:14:45 -08:00
Laurent Perron
225dc5eb16 rename sat example; add to python tests 2018-11-19 10:45:26 -08:00
Corentin Le Molgat
6a889109a7 Fix fz_archive target 2018-11-19 17:55:16 +01:00
Corentin Le Molgat
9e70774073 dotnet: Rework snk managment
Now you can use the env var DOTNET_SNK to set your own snk key
2018-11-19 11:35:16 +01:00
Corentin Le Molgat
eee64256b3 Fix clean_cc rule 2018-11-19 11:00:44 +01:00
Corentin Le Molgat
97fd0095a7 Makefile: Update archive targets recipe 2018-11-19 09:40:09 +01:00
Laurent Perron
461f0ac74c fix 2018-11-18 15:01:20 -08:00
Laurent Perron
2373859e19 fix shift_scheduling_sat.py 2018-11-18 09:04:16 -08:00
Laurent Perron
23c79b41e2 Merge branch 'master' of github.com:google/or-tools 2018-11-16 10:22:49 -08:00
Laurent Perron
178993299d add missing test 2018-11-16 10:22:44 -08:00
Corentin Le Molgat
97044de369 Makefile: Add samples rules for algorithm and graph 2018-11-16 15:10:15 +01:00
Laurent Perron
c75045897b merge simple_solve_sample_sat into simple_sat_program; update doc 2018-11-16 05:02:48 -08:00
Laurent Perron
8fd62c9e43 reorganize all sat samples to have regular naming
Remove sub-method in C# sat sample, just use Main()
2018-11-15 10:56:34 -08:00
Corentin Le Molgat
8ffd9947f3 Fixup dotnet Makefile test target name 2018-11-15 08:22:31 +01:00
Corentin Le Molgat
e5da9b92f3 Update dotnet sat samples 2018-11-14 14:08:40 +01:00
Laurent Perron
2edea4be83 add CpIsFun.java 2018-11-10 13:40:57 +01:00
Laurent Perron
ef0b82c794 polish cp is fun python, C++, C# samples 2018-11-10 13:04:03 +01:00
Corentin Le Molgat
32871015f8 Fixup Makefile.dotnet.mk
Typo for SimpleLpProgram.cs
2018-11-09 16:07:09 +01:00
Corentin Le Molgat
2e5e79cdc7 Add linear_solver/samples/SimpleLPProgram 2018-11-09 12:53:46 +01:00
Laurent Perron
1665e776dc add last samples to make test_python_samples 2018-11-08 12:53:30 +01:00
Laurent Perron
b176edfbea fix jobshop python samples; add first linear solver lp sample; fix makefile 2018-11-08 11:20:51 +01:00
Corentin Le Molgat
c4e3b1190d Fixup Contrib dir MACRO on windows 2018-11-08 09:23:46 +01:00
Laurent Perron
eefaaeba86 fix dotnet test path 2018-11-07 23:35:46 +01:00
Laurent Perron
807a8a855b fix on windows 2018-11-07 23:30:10 +01:00
Laurent Perron
5bb4f639c5 fix python test scripts 2018-11-07 22:09:43 +01:00
Laurent Perron
48d4fe2b89 fix makefiles after contrib example 2018-11-07 21:31:58 +01:00
Laurent Perron
5a6e658475 Merge branch 'master' of github.com:google/or-tools 2018-11-07 17:26:14 +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
Corentin Le Molgat
f7060f83a5 Rename SimpleProgram.fs to SimpleProgramFSharp.fs
- Avoid collision with SimpleProgram.fs binary output
2018-11-06 18:01:21 +01:00
Corentin Le Molgat
8eeadbecce Add SimpleProgram
This is the example use in optimization site:
GUIDES/Introduction/GetStarted/<lang>/RunningProgram
2018-11-06 14:36:21 +01:00
Laurent Perron
e323bba2e7 backport sat improvements from the abseil branch 2018-11-05 16:24:47 +01:00