Dr. Dominik Krupke

icon indicating a website link https://krupke.cc icon indicating an email [email protected]

icon company TU Braunschweig icon location Germany icon location Theoretical Mind, Practical Solutions: Mastering NP-Hard Optimization Problems @ Technical University of Braunschweig

Results 2 repositories owned by Dr. Dominik Krupke

cpsat-primer

278
Stars
25
Forks
Watchers

Using and Understanding OR-Tools' CP-SAT: A Primer and Cheat Sheet

verified publisher icon d-krupke

CP-SAT-Log-Analyzer

20
Stars
0
Forks
Watchers

A webapp that visualizes and annotates your ortools' CP-SAT logs. Partially inspired by gurobi-logtools.

verified publisher icon d-krupke