MaxSAT Solver
by Ivy Li & Ananya Aggarwal
Proposal
Milestone Report
Final Report