Arthod

Ahmad Othman's repositories

Create pure Minizinc .mzn files from Python using python-minizinc-maker library.

Language:PythonMIT6 10

Solving travelling salesman problem to optimality using Linear Programming using four different formulations in Gurobi

Language:Python3 10

Language:Python200

Language:Lua1 20

Language:C++100

Language:C000

Language:Python000

My CS Bachelor Thesis (Summer 2022)

Language:TeX010

A benchmark library for constraints

Language:Prolog000

A collection of datasets of ML problem solving

Language:R000

Language:Python010

Language:C++010

Language:JavaScript010

Language:Python010

Language:Python010

Language:Python000

Language:Python000