GitHub repository: marbarfa/mapreduce_sat
Primary language: Scala
Description: MapReduce implementation to solve SAT problem