PackUp

swMATH10046MaRDI QIDQ22015FDOQ22015

Author name not available (Why is that?)

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