CNF minimizer and minimal independent set calculator - View it on GitHub