## Search Tree

Search tree for the current example.

## Problem View

Problem view for the current example.

## Explanation

initialise

0 / 0

### Initial state

Loading exported trace...

Current path cost 0.000
Best cost none
Solutions found 0
Pruned branches 0

## Controls

Playback speed
Show explored edges Show pruned branches
Show planner trace
Show true location
Lower-left view
Show domains on world
Current step
Current branch
Best so far
Final path
Pruned branch
Current route
Dead end
Final path
Wall
Current route
Explored edge
Dead end
Final path
Active branch
Forced assignment
Contradiction
Solution / entailment
Current focus
Reduced domain
Domain wipe-out
Assigned value
Most likely room
Belief mass
True location
Noisy cue

Copyright 2026 UNSW. Author: Oliver Obst <o.obst@unsw.edu.au>. Released under GNU GPL v3.