.settings
|
Adds basic projects: Plug-in, feature, updatesite
|
2023-04-21 10:30:35 +02:00 |
META-INF
|
Prepares release v0.0.2
|
2024-03-22 13:38:54 +01:00 |
src
|
Updates Gurobi dependency to v11.0.0
|
2024-02-23 12:00:31 +01:00 |
.classpath
|
Adds dependencies and tests
|
2023-08-14 11:05:39 +02:00 |
.gitignore
|
Adds basic projects: Plug-in, feature, updatesite
|
2023-04-21 10:30:35 +02:00 |
.project
|
Adds basic projects: Plug-in, feature, updatesite
|
2023-04-21 10:30:35 +02:00 |
pom.xml
|
Updates maven-javadoc-plugin to v3.8.0
|
2024-07-25 09:06:43 +02:00 |