QMaxSATpb

swMATH46483MaRDI QIDQ5973052FDOQ5973052

Author name not available (Why is that?)

Source code repository: https://github.com/DietVds/CertifiedMaxSAT

Described by source

• QMaxSATpb: a certified MaxSAT solver

This page was built for software: QMaxSATpb