creduce

2.10.0

Reduce a C/C++ program while keeping a property of interest

Install

brew install creduce

Architecture	Platforms	Version	Download
Apple Silicon	Golden Gate	2.10.0	File SHA-256 `096bef3ceffea0fa2cbcd931d047d69bed6871c1498e301d343adbd700238300`
Apple Silicon	Tahoe	2.10.0	File SHA-256 `76e18543f131c54b6c861c2cca96cf026c5633bdf6bc00dbe44332ff01d3d917`
Apple Silicon	Sequoia	2.10.0	File SHA-256 `26320842d4a1e06aae66d7d760b0cf236539e96f4b01e776779555939967c3e6`
Apple Silicon	Sonoma	2.10.0	File SHA-256 `1a83910ebfb3ecd7f1f7b077a64f2970443a66e27f859be80fd49e0834f7c17b`
Intel	Sonoma	2.10.0	File SHA-256 `36a01943ed75d695d0ccdd0ba356ed459063f3f3034ef4adf304f366d70d5eab`
ARM64	Linux	2.10.0	File SHA-256 `769faeb55d286c19d9cc1147d7498a4dc9452f75e4afa7fd69da2a2569114f7f`
x86_64	Linux	2.10.0	File SHA-256 `b737eaec95ad2dcdfcd9c6a42bbe2234f3168136335f6aedde1f0deef1254af7`