1. Introduction
  3. Part I -- Getting Started
  4. Install XQuad
  5. First Problem
  6. What Happened
  8. Part II -- Concepts
  9. Toolchain Map
  10. Ways to Use XQuad
  11. Quadratic Models
  12. Three Programs
  13. Backends
  15. Part III -- Modelling and Solving
  16. Modelling Lifecycle
  17. Inputs and Model Shape
  18. Expressions
  19. Objectives
  20. Constraints
  21. Control Flow
  22. Outputs and Decoding
  23. Compiling
  24. Running Programs
  25. Verification
  26. Solving Overview
  27. Local Solvers
  28. D-Wave QPU
  29. Quip Network
  30. Energy and Precision
  32. Part IV -- Examples and Recipes
  33. Examples
    1. Using the Examples
    2. Max-Cut
    3. Graph Coloring
    4. Maximum Independent Set
    5. Vertex Cover
    6. Travelling Salesman Problem
    7. Knapsack
    8. Bin Packing
    9. Set Cover
    10. Weighted Set Cover
    11. Number Partition
    12. Portfolio Optimization
    13. Max-3-SAT
    14. Cubic Optimization
    15. Quartic Optimization
  34. Cookbook
    1. Permutations
    2. Selection Under Budget
    3. Assignment
    4. Mutual Exclusion
    5. Soft vs Hard Constraints
    6. Penalty-Weight Tuning
    7. Integer Scaling
  36. Part V -- XQVM Reference
  37. XQVM Reference
  38. Machine Model
  39. Loops
  40. Calldata and Outputs
  41. Execution
  42. Assembly
  43. Assembly Examples
  44. Instructions
    1. Control Flow
    2. Register I/O
    3. Stack Manipulation
    4. Arithmetic
    5. Comparison
    6. Logical Boolean
    7. Bitwise
    8. Allocators
    9. Vector Operations
    10. Index Math
    11. Coefficient Access
    12. Grid Operations
    13. High-Level Constraints
    14. Energy Evaluation
  45. Opcode Reference
  46. Bytecode Format
  47. Verifier
  48. CLI
    1. Run
    2. Assemble
    3. Disassemble
    4. Verify
  49. Limits and Errors
  51. Part VI -- Embedding and Internals
  52. Embedding Overview
  53. Builder API
  54. Pallet Fixture
  55. Conformance
  57. Appendix
  58. Glossary
  59. Stability
  60. Spec Index