Homepage
Not present in the local metadata.
brew package intelligence
Nucleus can resolve creduce: Reduce a C/C++ program while keeping a property of interest
overview
Reduce a C/C++ program while keeping a property of interest
Not present in the local metadata.
No executable aliases were found in the local package database.
security posture
This generated page did not find a matching local radioisotope manifest for creduce. Nucleus package metadata is still published here so future coverage has a stable package URL.
For AI agent use, inspect whether the tool reads plaintext credentials, writes remote state, publishes artifacts, or shells out to plugins before allowing unattended execution.
install metadata
| Package key | brew:creduce |
|---|---|
| Last updated | 2026-03-17T18:40:37-04:00 |
| Pulse | updated |
source trail
This page is regenerated by scripts/generate-pkg-pages.py. Deployments refuse to publish if www/pkg/ is stale relative to local package data.