satsolver  0.17.2
Code Conventions