From mathematical model to decision-ready evidence.

Doruk is a self-hosted mathematical optimization studio for building, validating, versioning, running, monitoring, comparing and reporting optimization models.

See the workflow View screenshots

ProblemNLP

SolverIPOPT

Version8a3f…d91c

OBJECTIVE

min Σ_p,t c_p,tx_p,t + Σ_t h_tI_t

Convergence00:12.84

Validated Versioned Traceable

kg ↔ N ↔ m/s²

SHA-256

Optimization is more than calling a solver.

Doruk connects model authoring, structural validation, exact versioning, background execution, live telemetry and deterministic reporting in one traceable workflow.

ƒ(x)

Build

Define variables, parameters, objectives, constraints, units and dimensions through guided forms or structured JSON.

✓

Validate

Catch shape, indexing, bounds, units, expression and solver compatibility errors before execution.

Version

Publish immutable, SHA-256 content-addressed model versions so every run has an exact provenance trail.

▶

Run

Queue long-running optimization jobs asynchronously, cancel them safely and retry without losing history.

⌁

Monitor

Inspect objective traces, solver metrics, constraint violations, elapsed time, logs and stream health.

Compare & report

Compare runs side by side and export decision-ready JSON, CSV, HTML and printable reports.

The whole workflow, on screen.

Author a model, validate it, watch it converge and read the generated report. These views come from a real Doruk instance running the Rosenbrock and Himmelblau models.

Animated walkthrough of Doruk: authoring a model, validating it, watching the run converge, and reading the report. — **End-to-end walkthrough**Task Builder → validation → Live Monitor → Solution Notebook, in one pass.

Task Builder showing the Basics step with model name, description and problem class. — **Model basics**Name the model and pick its problem class before anything else.

Task Builder Variables step listing decision variables with shapes, bounds and units. — **Variables & parameters**Declare shapes, bounds, domains and units in one table.

Task Builder Objective step with minimize direction and an expression. — **Objective**Direction plus a restricted expression — no arbitrary code.

Validation panel reporting that all checks passed. — **Validation**Shapes, units, expressions and solver compatibility, before solver time.

The raw JSON model specification shown in the editor. — **JSON editor**Switch between the guided form and the raw specification at any point.

Import data dialog previewing parameters read from a CSV file. — **Import data**Load parameters from CSV or JSON, with a preview of additions and skips.

Bulk value editor for pasting an initial guess vector. — **Bulk values**Paste or load whole vectors instead of filling cells one by one.

Solver step configured with a number of starting points and a seed. — **Multistart**Sample several starting points with a fixed seed for reproducibility.

Solver step showing mixed-integer options after an integer variable is declared. — **Mixed-integer controls**Solver options appear contextually once the model needs them.

Live Monitor streaming the objective trace with an iteration inspector. — **Live Monitor**Iterations stream in over a WebSocket, with per-iteration inspection.

Live Monitor convergence chart switched to a logarithmic scale. — **Log-scale convergence**Switch scales to read the tail of a converging objective.

Solution Notebook listing finished runs to report on. — **Finished runs**Every completed run stays addressable, grouped by folder and task.

Solution Notebook report with solver summary and solution values. — **Solution Notebook**A report derived from the run's stored evidence — exportable as HTML, CSV, JSON.

Picker for choosing a second run to compare against. — **Compare picker**Choose any other finished run as the baseline.

Side-by-side comparison of two runs with objective and solution deltas. — **Run comparison**Objectives, solutions and solver metrics diffed side by side.

01 / 15

A model can be mathematically valid and still be physically wrong.

Doruk validates dimensions and units across expressions, converts compatible quantities to canonical solver values and preserves display units for reporting.

✓force = mass * accelerationN

×distance = speed + timeunit mismatch

Expressive models without arbitrary code execution.

The restricted expression language supports arithmetic, indexing, slicing, matrix operations, common functions and aggregations while rejecting imports, attributes and unknown calls.

ExpressionRendered

sum(cost[i] * x[i], i) + penalty * slack

Σ cᵢxᵢ + λs

Match every model with the solver built for it.

Doruk reads the model structure and surfaces only compatible solvers and controls, keeping configuration focused, clear and harder to get wrong.

IPOPT

Continuous nonlinear optimization at scale.

SQP

Smooth constrained problems with precise local steps.

qpOASES

Fast active-set quadratic programming.

Bonmin

Discrete decisions inside nonlinear and quadratic models.

Start from a serious optimization problem.

Alongside the standard test functions, Doruk ships models converted from the GAMS model library. These reusable, business-facing benchmarks run on a fresh install.

Portfolio optimization

Risk-return allocation with bounds, covariance and investment constraints.

LP / MILP

Production planning

Capacity, inventory, demand, setup and product-mix decisions.

MILP

Facility location

Choose sites and assign demand while balancing fixed and transport costs.

Transportation

Move goods from supply nodes to demand nodes at minimum feasible cost.

LP / NLP

Economic dispatch

Allocate generation across units subject to demand and operating limits.

NLP

Heat exchanger networks

Simultaneous synthesis of stream matches, areas and utility loads.

Keep models, parameters and results inside your environment.

Doruk is designed for self-hosting, making it suitable for research, engineering and regulated environments where optimization models and operational data should not leave organizational boundaries.

DORUK

Web UI

API

Workers

Solvers

Artifacts

Database

Build the model. Preserve the evidence.

Doruk turns optimization from isolated scripts and solver logs into a validated, reproducible and inspectable computational workflow.

Back to the summit