5 skills found
crillab / Gophersatgophersat, a SAT solver in Go
sat-group / Open WboOpen-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
niklasso / MinisatpThe Pseudo-Boolean Solver MiniSat+
filyouzicha / NuPBOA local search solver for Pseudo-boolean Optimization
JHL-HUST / SPB MaxSATRethinking the Soft Conflict Pseudo Boolean Constraint on MaxSAT Local Search Solvers
