Aimmig

Pinned Repositories

Bahnhofsdaten
gesammelte Bahnhofsdaten verschiedener Länder
Language:HTML0 0 00
candy-kingdom
A collection of SAT solvers and tools for structure analysis in SAT problems.
Language:C++0 0 00
dbTrainConnection
Showing Departures/Arrivals from dbopendata, connections and map
Language:Python0 1 20
FloatingBoolector
Erweiterung des SMT-Solvers Boolector um Fließkomma-Logik
Language:Python0 1 00
SATSolving2020
Some solutions for the exercises of the SAT lecture
Language:C++00
SoundFFTAnlayzer
Language:C++00
Waybar
Highly customizable Wayland bar for Sway and Wlroots based compositors. :v: :tada:
Language:C++6.6k 37 2.4k705
Bahnhofsdaten
gesammelte Bahnhofsdaten verschiedener Länder
Language:HTML3 7 56

Aimmig's Repositories

Aimmig/Bahnhofsdaten
gesammelte Bahnhofsdaten verschiedener Länder
Language:HTML0 0 00
Aimmig/candy-kingdom
A collection of SAT solvers and tools for structure analysis in SAT problems.
Language:C++0 0 00
Aimmig/dbTrainConnection
Showing Departures/Arrivals from dbopendata, connections and map
Language:Python0 1 20
Aimmig/FloatingBoolector
Erweiterung des SMT-Solvers Boolector um Fließkomma-Logik
Language:Python0 1 00
Aimmig/SATSolving2020
Some solutions for the exercises of the SAT lecture
Language:C++00
Aimmig/SoundFFTAnlayzer
Language:C++00