MaxSAT Solver

by Ivy Li & Ananya Aggarwal