GitHub repository: miguelcabral/leximaxIST
Primary language: C++
Description: Boolean Leximax Optimisation solver based on iterative SAT solving