GitHub repository: 100303602/heuristics-lab-2
Primary language: Java
Created: 2017-11-10T07:02:07Z
Description: Lab assignment #2: Logical Satisfiability and Heuristic Search