dpll Implementation of DPLL algorithm with Kotlin language Run command in cmd from ../build/libs directory: java -jar DPLL-1.0.jar