Explore projects
-
Updated
-
-
-
-
Jakub Machalický / alice
MIT LicenseUpdated -
pace-challenge / 2021 / GOAT / kernelization
MIT LicenseUpdated -
pace-challenge / 2021 / GOAT / heuristic
MIT LicenseUpdated -
Updated
-
-
Updated
-
A parallel distributed memory solver for systems of linear inequalities. Master's thesis of Richard Fritsch, Czech Technical University in Prague
Updated -
Updated
-
Miroslav Kravec / elism
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
Updated
-
OpenPonk build with added support for transformation of OntoUML model to SQL.
Updated -
Updated
-
Updated