Manual

Quick Start Guide

using JuMP
using ToQUBO
using PySA

model = Model(() -> ToQUBO.Optimizer(PySA.Optimizer))

@variable(model, x[1:3], Bin)

@objective(model, Max, 1.0 * x[1] + 2.0 * x[2] + 3.0 * x[3])

@constraint(model, 0.3 * x[1] + 0.5 * x[2] + 1.0 * x[3] <= 1.6)

optimize!(model)

solution_summary(model)

solution_summary(; result = 1, verbose = false)
├ solver_name          : Virtual QUBO Model
├ Termination
│ ├ termination_status : LOCALLY_SOLVED
│ ├ result_count       : 1
│ └ raw_status         : 
├ Solution (result = 1)
│ ├ primal_status        : FEASIBLE_POINT
│ ├ dual_status          : NO_SOLUTION
│ └ objective_value      : 5.00000e+00
└ Work counters
  └ solve_time (sec)   : 3.16208e-03

Table of Contents

• Running a Model
• • Creating a Model
  • Defining Variables
  • Defining Constraints
  • Defining the Objective Function
  • Running the Optimization
  • Checking Solution Status
  • Working with Multiple Solutions
  • Example: Complete Workflow
  • Next Steps
• Gathering Results
• • Solution Status
  • Retrieving Variable Values
  • Objective Value
  • Compilation Information
  • Penalty Information
  • Example: Complete Results Retrieval
  • Working with QUBOTools
  • Next Steps
• Compiler Settings
• • Compiler Messages
  • Compiler Optimization
  • Working with target architectures
  • Quadratization
  • Variable & Constraint Encoding
  • Discretization