Pinned Loading

1. AdventOfCode2020 AdventOfCode2020 Public

   My solutions for the AoC 2020 puzzles, written in Python.

   Python

2. smt-sudoku-solver smt-sudoku-solver Public

   This repo contains the logic to solve sudoku puzzles using a basic backtracking algorithm and an smt-solver-based approach.

   Python 1

3. smt-examples smt-examples Public

   This repo contains a couple of small examples of what SMT solver can be used for.

   Python 1

4. sigusch/akt_image-classification sigusch/akt_image-classification Public

   This is a project for the university course 'AKT - Deep Learning and Computer Vision'.

   Jupyter Notebook 1