Tents-Solver

Project information

Solver for Tents puzzles implemented as part of the lecture SAT Solving in the winter term 2020/21

+ 1 more

Created on

October 29, 2020

Copy SSH clone URLgit@gitlab2.cip.ifi.lmu.de:grubmueller/tents-solver.git
Copy HTTPS clone URLhttps://gitlab2.cip.ifi.lmu.de/grubmueller/tents-solver.git

Loading