Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
-
-
-
-
Problem instances with 2-SAT, Random (RAN) and Regular (REG) problems, used for the paper "On the hardness of quadratic unconstrained binary optimization problems"
-
-
-
-
-
-
-
-
-
-
-
Course material for the HMC introductory course to scientific metadata annotation
-
GitLab repository of the Joint Lab Exascale Earth System Modelling (JL-ExaESM).
-
Ubuntu images for vagrant
-
testing binder / pybind11