GitHub repository: Imperium-Software/resolver
Primary language: Python
Description: Solving SAT problems with Genetic Algorithms.