OptiLog: A Framework for SAT-based Systems. - Carlos Ansótegui; Jesus Ojeda; António Pacheco 004; Josep Pon; Josep M. Salvia; Eduard Torres (SAT, 2021)