These tools are part of the paper "Optimizing S-box Implementations for Several Criteria using SAT Solvers" by Ko Stoffelen, published at FSE 2016, available here. $ ./getanf.py -h usage: getanf.py ...
Landscape design experts weigh in on what outdoor living design mistakes you might be making—and how to fix them.