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