Skip to content

Home
- Handl Language
Engines
- graphopt
- eqsat
- gamekit

Sidebar Navigation

graphopt

Overview
Tutorials
- Overview
  Your first `search()`
  Watch a law get minted
  Run the scorecard
  Set up graphopt
How-to guides
- Add a board
  Admit a law
  Optimize a model
  Register a player
Reference
- The frozen public API — plan 0032 phase 1
  Player leaderboard
  Limits table — the delivered form vs the registered baselines
  Discovery scorecard
Explanation
- Evaluation — the fourth dimension
  How mlopt works — syntax, structure, and the rewrite loop
  The game — boards, players, and the learned-policy loop
  The gauntlet — what a minted law must survive
  The three costs — how the engine knows a form is *better*
Project docs

On this page

graphopt project docs

Vendored from graphopt's project branch.

Pager

Previous pageThe three costs — how the engine knows a form is *better*