PBSugar version 1.1.1 Core API Specification

PBSugar version 1.1.1 Core API Specification

Packages
pbsugar  
pbsugar.encoder  
pbsugar.pb  
pbsugar.sat  

 


PBSugar version 1.1.1 Core API Specification

PBSugar: SAT-based Pseudo Boolean Constraint Solver