python (65.1k questions)

javascript (44.2k questions)

reactjs (22.7k questions)

java (20.8k questions)

c# (17.4k questions)

html (16.3k questions)

r (13.7k questions)

android (12.9k questions)

Questions - or-tools

z3 much slower than ortools SAT. Why?

I am trying out different solvers for a toy clique problem and was surprised to find that ortools using SAT seems much faster than z3. I am wondering if I am doing something wrong given that z3 does s...
test-img

Simd

python

z3

or-tools

z3py

sat

Votes: 0

Answers: 2

Latest Answer

Replacing the Int variables by Bool variables reduced the z3py runtime by 28% on my machine: z3.set_option(verbose=1) myVars = [] for i in range(num_variables): myVars += [z3.Bool('v%d' % i)] # ...
test-img

Axel Kemper

OR-Tools (CP-SAT) - How to implement a non-linear function

I'm attempting to use Google's OR-Tools to produce a distance constraint between 2x 2D points (p0 & p1). This becomes the non-linear expression: (p1x - p0x)² + (p1y - p0y)² = d² I have attempted t...
test-img

Max Peglar-Willis

constraints

solver

or-tools

non-linear

Votes: 0

Answers: 1

Latest Answer

Cross-posted from https://github.com/google/or-tools/discussions/3220. The discussion is happening there.
test-img

Laurent Perron

How to bundle pairs of trips?

I have a database of optional real-time trip demands. Each with a load that can to be delivered from a departure point to a destination: ID,EndDateEnd,EndDateStart,StartDateEnd,StartDateStart,DepX,Dep...
test-img

dank

mathematical-optimization

or-tools

vehicle-routing

operations-research

Votes: 0

Answers: 1

Latest Answer

There is a pdptw example in the routing library: Simple Pickup and Delivery problem in C++
test-img

Laurent Perron

VRP with OR-Tools: How to prioritize which vehicles get routes when solution includes empty routes?

I'm using OR-Tools' VRP solver (in Python) to schedule vehicle routes for the following problem: There is a list of customer locations that must be visited within a given week (Mon-Sun), but we don't ...
test-img

Aaron Dunigan AtLee

python

or-tools

vehicle-routing

Votes: 0

Answers: 1

Latest Answer

Thanks to AirSquid for the inspiration: One solution is to add a fixed cost to each vehicle: for vehicle_id in range(num_vehicles): routing.SetFixedCostOfVehicle( vehicle_costs[vehicle_id]...
test-img

Aaron Dunigan AtLee

Posts

Questions

Blogs

Jobs