GitHub repository: onthered/SAT-Solver-Rowan-University-DAA
Primary language: Java
Created: 2015-01-24T19:13:01Z
Description: This SAT Solver is made for the Rowan University Design and Analysis of Algorithms.