The SAT-solver-analyzer which generates instances of problems which are hard for your own the SAT-solver. Generator uses genetic algorithm.
You need to have installed python (recommended is at least 2.7.17) in your operating system and then you can use my Makefile for running my SAT-solver-analyzer.
Main commands in my Makefile:
make execute- command for analyze SAT-solver which is set in the constants.py.make clean- command for remove all src/**/*.pyc files.