Hey! I'm @Rakagami
Check out my website: https://rakagami.github.io/
Hey! I'm @Rakagami
Check out my website: https://rakagami.github.io/
Basic DPLL implementation in Python. Guidelines for the implementation is taken out if Discrete Structures script from TU Munich.
Python 1
A Timetracker which tracks time using toggl and enters the tracked time into a gitlab issue
Python 1
The most basic Java SAT-Solver imaginable. Parses a String as a Boolean formula then computes all the interpretations to that formula.
Java