GitHub repository: AaronDJosephs/3-SAT-Generator
Primary language: Java
Created: 2016-12-23T05:58:55Z
Description: Generates a 3-sat instance.