PackUp

swMATH10046MaRDI QIDQ22015FDOQ22015

Author name not available (Why is that?)

Described by source

• PackUp: tools for package upgradability solving

Cited In (3)

• 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