// packages/strategies/nondeterministic/src/index.ts
// Public API for the nondeterministic strategy package.

export { NondeterministicStrategy } from "./strategy";
export { AmbBackend } from "./backend";
export { runNondet } from "./runner";
export type { AmbStrategy } from "./backend";
export type { NondetOptions, NondetResult, NondetMode, Frontier } from "./runner";
export type { Job, FrontierKind, NondetPolicy, ChoiceVec, ConstraintObs } from "./types";
export { type Frontier as FrontierInterface, StackFrontier, QueueFrontier, PriorityFrontier, BeamFrontier } from "./frontier";
