GitHub repository: FedorSmirnov89/constraintTester
Primary language: Java
Created: 2018-03-07T09:55:17Z
Description: Classes for a convenient test of SAT constraint sets.