axiolid-brep-boolean

General exact B-rep booleans over analytic faces (ADR 0075).

Latest release	0.1.1 (2026-09-28)
crates.io	axiolid-brep-boolean
Layer	algorithms (algorithm.construction)
API documentation	rustdoc · docs.rs
Source	crates/algorithms/construction/brep-boolean/

Overview

Exact union, intersection and difference of two exact B-rep solids whose faces lie on planes, cylinders, elliptical cylinders, cones, spheres, tori and B-spline surfaces: the general-fuse pipeline of ADR 0075 (section edges, face splitting in each face's own parameters, certified classification, sewing). Operands that touch rather than cross are handled. Nothing is meshed or fitted: a configuration the pipeline cannot build exactly is refused with a typed error. It does not tessellate its result and does not work on meshes; mesh booleans are operation providers selected through the execution layer.

Design notes

axiolid-construct keeps narrower exact booleans that predate this crate: planar polyhedra (polyhedron::boolean_polyhedra_exact) and coaxial prisms and plane cuts over one arc arrangement (boolean_exact). They are independent exact paths, and this crate's tests check vertical-column results against them.

Depends on

• axiolid-brep
• axiolid-core
• axiolid-curve
• axiolid-evaluate
• axiolid-measure
• axiolid-nurbs
• axiolid-surface
• axiolid-topology

Changes

Latest release, 0.1.1 (2026-09-28):

Changed

• The crates.io page is this crate's own README.md, with links to its API documentation, its reference page and the source (ADR 0078).

Full history: crates/algorithms/construction/brep-boolean/CHANGELOG.md