Last released Jun 10, 2024
Python package that provides implementations for QUBO models related to SAT solving.
Last released Jan 9, 2024
Client of the optimization framework UQO
Last released Feb 1, 2021
Client of the optimisation framework UQO
Supported by