BoolVar/PB

From MaRDI portal

Software:25493

Jump to:navigation, search

swMATH13579MaRDI QIDQ25493

No author found.

Related Items (1)

PBLib – A Library for Encoding Pseudo-Boolean Constraints into CNF

This page was built for software: BoolVar/PB

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Software:25493&oldid=29458625"