DEMaxSAT is a incomplete MaxSAT solver based on Differential Evolution.
Primary LanguageCGNU General Public License v3.0GPL-3.0