Solve boolean expressions automatically by running a test, reduces programming mistakes. - View it on GitHub