Technical University Darmstadt Germany

These are repositories I've created during my bachelors degree in computer science at Technical University Darmstadt in Germany

https://www.tu-darmstadt.de

Repositories

1

Projects Packages

Filter

Clear Filter

Archived Not Archived

Forked Not Forked

Mirrored Not Mirrored

Template Not Template

Private Public

Sort

Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks Smallest size Largest size

aupl-ss24-sudoku-solver

TypeScript 0 0

A tool converting a given sudoku into DIMACS CNF to be solved with a SAT solver, and reverting the solution from the SAT solver back into an easy readable sudoku visualitsation

Updated 2024-06-10 18:42:14 +02:00