Tag: continious integration
-
Towards CryptoMiniSat 5.0
I have worked a lot on CryptoMiniSat 5.0 in the past months so I thought I’d write a little bit about what I spent my time on. Amazon AWS I have put lots of effort into use Amazon AWS service to run CMS. This is necessary in order to compete at the SAT competition where […]