GitHub repository: tiara28307/CS-5384-Project
Primary language: JavaScript
Created: 2021-11-04T15:23:15Z
Description: Encode the n-queens problem into the DIMACS CNF format and solve it by SAT solver.