MaxSAT Problem Solver

Implemented a Python-based solver for the Maximum Satisfiability problem combining stochastic optimization and local search strategies. Focused on efficiency and modular testing for constraint satisfaction instances.

View Project