Hello, I have been watching the changes and updates on this repository for quite a while, and what you're doing is very impressive to me. The only thing I feel is the most missing is some sort of configurator program for the CNF file. Are there any plans for making one?
Hello, I have been watching the changes and updates on this repository for quite a while, and what you're doing is very impressive to me. The only thing I feel is the most missing is some sort of configurator program for the CNF file. Are there any plans for making one?