Being at SAT 2026 it felt appropriate to make a release of cnfgen (0.9.6). Nothing special, just some cli bugfix, reduced dependency from external packages, and the mutilated chessboard construction. #SAT #SAT2026 #FLoC #cnfgen https://github.com/MassimoLauria/cnfgen