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 […]