Computer Science Student at KIT.
-
Karlsruhe Institute of Technology (KIT)
- Karlsruhe, Germany
Block or Report
Block or report SamuelBorn
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
PlanarTester
PlanarTester PublicPlanarTester is a GUI-based tool designed to enable users to create graphs and assess their planarity.
Java
-
BranchAndBound
BranchAndBound PublicVisualization of the Solving of integer optimization problems with Branch And Bound
Python
-
mallob
mallob PublicForked from domschrei/mallob
Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.
C++
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.