Max Moeller

Personal Default LuaLatex Preamble

Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.

A Rust library to transform integer and pseudo Boolean constraints into conjunctive normal form

my dotfiles managed by chezmoi

A Branch and Cut Algorithm for CLIQUE PARTITIONING

Linux beep music

Implementation for my research project on local search for learning PaRtial bOOlean Functions.

lecture notes for the "description logic" lecture @ TU Dresden