ries-rs

What it is

RIES finds algebraic equations given their solution. Feed it a number and it searches for equations where that number is the answer.

ries-rs is a ground-up Rust reimplementation of Robert P. Munafo’s original RIES program. The point is not just to preserve a historical binary. The point is to make the search engine legible, reproducible, and usable across multiple surfaces.

The repository carries the full technical detail. This page is the short framing.

Why it matters

Most constant-recognition software survives as an old binary, a partial port, or a one-off demo. ries-rs treats the solver as modern software: documented architecture, regression coverage, conservative benchmarks, explicit parity notes, and packaging that makes the same core available from the command line, as a Rust library, through Python, and directly in the browser.

That makes it useful both as a tool and as a reference implementation.

What ships today

• command-line search for inverse equations and algebraic identities
• a reusable Rust crate built on the same core solver
• Python bindings for notebook and scripting workflows
• a browser/WASM app that runs the solver client-side
• deterministic runs, structured JSON output, and emitted manifests for reproducible workflows

The browser build covers the main search flow, quick constants, presets, shareable URLs, and export/copy actions. PSLQ remains a CLI-only surface for now.

Reproducibility and parity

Deterministic mode, machine-readable output, and run manifests are first-class because the project is meant to support repeatable work, not just one-off terminal sessions.

Compatibility is tracked explicitly against historical behavior, with public parity notes and benchmark artifacts in the repository. The remaining work is quality and polish work, not a question of whether the project has become a serious implementation.

Where to go next

If you want the fastest path in, use the live app above or open the standalone browser build.

If you want release artifacts, package installs, docs, or citation metadata, the repository is the source of truth.

The site page is for framing. The repository is for depth.