I'm a Software Engineer currently working as a Data Scientist.
Popular repositories Loading
-
tsplib-ortools
tsplib-ortools PublicComparision between different MIP formulations to solve the Travelling Salesman Problem using instances from tsplib95 and ortools
Jupyter Notebook
-
-
Mathematical-Logic-Through-Python
Mathematical-Logic-Through-Python PublicForked from hjbolus/Mathematical-Logic-Through-Python
Python package that provides an interface to work with classical propositional and first-order logic, based on my solutions to the textbook Mathematical Logic Through Python by Nisan and Gonczarowski
Python
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.