Skip to content

Instantly share code, notes, and snippets.

View senhalil's full-sized avatar
🦧

Halil Sen senhalil

🦧
  • Equilibrium Energy
  • Bordeaux
  • X @hllsen
View GitHub Profile
@senhalil
senhalil / gist:fd5e06913523cb9d45b3123ebd186573
Last active October 3, 2023 11:47 — forked from Ricket/gist:78bcd681db86bcbb134558428c4c6cb4
git diff -- use json_xs to pretty-print the json before diffing it
sudo apt-get install libjson-xs-perl
echo "*.json diff=json" >> ~/.gitattributes
git config --global core.attributesfile ~/.gitattributes
git config --global diff.json.textconv "json_xs -e \"print JSON::XS->new->utf8->pretty->canonical->encode(\\\$_)\" -t none < \"\$1\""
@senhalil
senhalil / step_1.log
Last active April 15, 2021 13:10
ortools_issue_log
Starting from a solution with an objective function value of 242288 and 8 routes (4 vehicles are empty):
----> run_ortools services(138) preassigned(138) vehicles(12)
OR-Tools v7.8
Using the provided initial solution.
Iteration : 0 Cost : 242288 Time : 0.0402563
Iteration : 1 Cost : 242288 Time : 0.0402988
Iteration : 2 Cost : 242288 Time : 0.123065
Iteration : 4 Cost : 242288 Time : 1.08831
Iteration : 8 Cost : 242288 Time : 3.34302
@senhalil
senhalil / vrp_w_matrix_example.json
Created October 24, 2020 20:36
vrp_w_matrix_example.json
This file has been truncated, but you can view the full file.
{"vrp":{"points":[{"id":"1002100_1_1_2","location":{"lat":48.865,"lon":2.3054}},{"id":"1103548_1_1_2","location":{"lat":48.8711,"lon":2.3079}},{"id":"1142617_1_1_2","location":{"lat":48.8756,"lon":2.302}},{"id":"1147052_1_1_2","location":{"lat":48.8758,"lon":2.3074}},{"id":"1104396_1_1_2","location":{"lat":48.8776,"lon":2.3056}},{"id":"1139292_1_1_2","location":{"lat":48.8767,"lon":2.3032}},{"id":"1139149_1_1_2","location":{"lat":48.8767,"lon":2.3073}},{"id":"1118656_1_1_2","location":{"lat":48.8732,"lon":2.3049}},{"id":"1123712_1_1_2","location":{"lat":48.8755,"lon":2.3023}},{"id":"1120539_1_1_2","location":{"lat":48.8739,"lon":2.303}},{"id":"1109631_1_1_2","location":{"lat":48.8774,"lon":2.3047}},{"id":"1139151_1_1_2","location":{"lat":48.8767,"lon":2.3071}},{"id":"1005088_1_1_2","location":{"lat":48.8714,"lon":2.307}},{"id":"1054022_1_1_2","location":{"lat":48.8735,"lon":2.3095}},{"id":"1052132_1_1_2","location":{"lat":48.8733,"lon":2.3058}},{"id":"1080067_1_1_2","location":{"lat":48.8755,"lon":2.3024}},{"