As main developer

  • The open-source and highly efficient integer linear programming solver Exact
  • The symmetry breaking preprocessor for SAT BreakID (which has been integrated in the SAT solver CryptoMiniSat)
  • The SAT solver with effective symmetrical learning Glucose-SEL

As contributor

  • The knowledge base system IDP
  • Its successor IDP-Z3
  • The lazy clause-generation constraint programming solver MinisatID