Is OpenPLi interested in a patch to add hints texts to satconfig.py so users find the settings easier to understand?
↧
Is OpenPLi interested in a patch to add hints texts to satconfig.py so users find the settings easier to understand?