Matthias Kranzer's repositories
smt-examples
This repo contains a couple of small examples of what SMT solver can be used for.
smt-sudoku-solver
This repo contains the logic to solve sudoku puzzles using a basic backtracking algorithm and an smt-solver-based approach.
AdventOfCode2020
My solutions for the AoC 2020 puzzles, written in Python.
Budgetbird.API
The node.js api for the budgetbird project.
Language:JavaScript000
Language:PHP000