{"library":"creduce","type":"cli","category":null,"description":"Reduce a C/C++ program while keeping a property of interest. Available on Homebrew.","language":"c","status":"active","version":"2.10.0","tags":[],"last_verified":null,"install":[{"cmd":"brew install creduce","imports":[]}],"homepage":"https://github.com/csmith-project/creduce","github":null,"docs":null,"changelog":null,"pypi":null,"npm":null,"openapi_spec":null,"status_page":null,"smithery":null,"compatibility":null}