Make maxsat Solve return the broken constraints, if any were broken#37
Open
zedutch wants to merge 1 commit intocrillab:masterfrom
Open
Make maxsat Solve return the broken constraints, if any were broken#37zedutch wants to merge 1 commit intocrillab:masterfrom
zedutch wants to merge 1 commit intocrillab:masterfrom
