OW2con'23 June 14-15, 2023 - Paris-Châtillon | Program and free registration: https://www.ow2con.org/

sat4j

Project ID: 1059

Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.