GitHub repository: raysr/Swarm-SAT
Primary language: Java
Created: 2019-02-26T19:16:04Z
Description: Applying Meta-Heuristics and Evolutionary methods ( Genetic Algorithm, Particle Swarm Optimization ) on MAX-3-SAT problem.