Skip to content

Quick Start

This guide walks you through your first optimization problems with solvOR.

Your First Linear Program

Let's solve a simple production planning problem:

A factory makes chairs and tables. Each chair gives $3 profit, each table $2. You can make at most 4 items total, at most 2 chairs, and at most 3 tables. How many of each should you make?

from solvor import solve_lp

result = solve_lp(
    c=[-3, -2],  # Negative because we minimize (so -max = min)
    A_ub=[[1, 1], [1, 0], [0, 1]],  # Constraints: x+y <= 4, x <= 2, y <= 3
    b_ub=[4, 2, 3]
)

print(f"Make {result.solution[0]:.0f} chairs and {result.solution[1]:.0f} tables")
print(f"Total profit: ${-result.objective:.0f}")

Output: 

Make 2 chairs and 2 tables
Total profit: $10

Solving a SAT Problem

Check if a boolean formula is satisfiable:

from solvor import solve_sat

# (x OR y) AND (NOT x OR z) AND (NOT y OR NOT z)
clauses = [[1, 2], [-1, 3], [-2, -3]]
result = solve_sat(clauses)

if result.status.is_success:
    print(f"Satisfiable: {result.solution}")
else:
    print("Unsatisfiable")

Finding the Shortest Path

from solvor import dijkstra

graph = {
    'A': {'B': 1, 'C': 4},
    'B': {'C': 2, 'D': 5},
    'C': {'D': 1},
    'D': {}
}

result = dijkstra(graph, 'A', 'D')
print(f"Path: {result.solution}")  # ['A', 'B', 'C', 'D']
print(f"Distance: {result.objective}")  # 4

Solving the Knapsack Problem

from solvor import solve_knapsack

weights = [2, 3, 4, 5]
values = [3, 4, 5, 6]
capacity = 8

result = solve_knapsack(weights, values, capacity)
print(f"Selected items: {result.solution}")  # Indices of selected items
print(f"Total value: {result.objective}")

Understanding Results

All solvers return a Result object with:

  • status - Success/failure status with .is_success property
  • solution - The solution (format depends on solver)
  • objective - Objective function value (if applicable)
  • iterations - Number of iterations/steps taken
result = solve_lp(c=[-1, -1], A_ub=[[1, 1]], b_ub=[10])

if result.status.is_success:
    print(f"Solved in {result.iterations} iterations")
    print(f"Solution: {result.solution}")
else:
    print(f"Failed: {result.status}")

Next Steps