Skip to content

Engine Overview

This guide provides a quick orientation to the solver engines and how their docs are organized.

Projects

Tech stack

  • PRAXIS: Rust (nightly), compiled to a native binary
  • SCRAM: C++ engine with Node.js bindings via node-addon-api and cmake-js
  • Nx for orchestration; pnpm for package management

Conventions

  • C++ docs focus on the public API; internal and third-party namespaces are excluded from navigation.
  • PRAXIS API docs are generated with cargo-docs-md from rustdoc JSON output.
  • Source for SCRAM lives under packages/engine/scram; PRAXIS lives under apps/solvers/praxis.