GitHub repository: tansvanio/davis-putnam-dll-java
Primary language: Java
Created: 2016-02-05T21:58:19Z
Description: This is an implementation of the Davis-Putnam DLL Algorithm (SAT solver) in Java.