SAT instance generator for investigating the sensitivity vs block sensitivity problem - View it on GitHub