Software

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