Best 1 Weighted Sat Solving Open Source Projects