dpll

Implementation of DPLL algorithm with Kotlin language

Run command in cmd from ../build/libs directory:

java -jar DPLL-1.0.jar