Installing creduce on your Mac using brew

Package Information:

Name: creduce
Use: Reduce a C/C++ program while keeping a property of interest
URL: https://embed.cs.utah.edu/creduce/

Installation Steps:

1. Open Terminal using Spotlight search by pressing <command+space>. Type terminal and hit Enter key.
2. Now, Execute

   ruby -e "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/master/install)" < /dev/null 2> /dev/null

3. Install creduce using brew

   brew install creduce

creduce is ready to use now!