PackUp

MaRDI QIDQ22015swMATHFDO

Official website http://sat.inesc-id.pt/~mikolas/sw/packup/

Described by source

• PackUp: tools for package upgradability solving

Cited in

(6)

• GlueMiniSat
• Open-WBO
• WPM2
• Exploiting resolution-based representations for MaxSAT solving
• Open-WBO: a modular MaxSAT solver
• Reactive synthesis with maximum realizability of linear temporal logic specifications

This page was built for software: PackUp