Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Updates GIPS acronym to include MILP + updates sub headline #24

Merged
merged 2 commits into from
Oct 15, 2024
Merged

Updates GIPS acronym to include MILP + updates sub headline #24

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
d545538
Updates GIPS acronym + updates sub headline
maxkratz Oct 15, 2024
2867890
Adds a missing dot
maxkratz Oct 15, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions config.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -17,8 +17,8 @@ permalinks:
params:
# Header text, can be markdown
# project_name: "![](/img/emoflon_logo_with_tex_semitransparent_300px.png)"
project_name: "**GIPS** - **G**raph-Based **I**LP **P**roblem **S**pecification Tool"
project_tagline: "**GIPS** is a tool to built tools that automatically derive ILP problems from given graph specifications."
project_name: "**GIPS** - **G**raph-Based (M)**I**LP **P**roblem **S**pecification Tool"
project_tagline: "**GIPS** is a tool to built tools that automatically derive (M)ILP problems from given graph-based specifications."

# Theme customizations by us
frontpage_text: ""
Expand Down
2 changes: 1 addition & 1 deletion content/_index.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ However, designing and specifying complex optimization problems from more abstra
A designer must be an expert in the specific problem domain as well as the ILP optimization domain to translate the given problem into avalid ILP problem.
Typically, domain-specific ILP problem generators are hand-crafted by experts, to avoid specifying a new ILP problem by hand for each new instance of a problem domain.
Unfortunately, the task of writing ILP problem generators is an exercise, which has to be repeated for each new scenario, tool, and approach.
For this purpose, we introduce the **GIPS** (**G**raph-Based **I**LP **P**roblem **S**pecification Tool) framework that simplifies the development of ILP problem generators for graph-based optimization problems and a new Domain-Specific Language (DSL) called **GIPSL** (**G**raph-Based **I**LP **P**roblem **S**pecification **L**anguage) that integrates GT and ILP problems on an abstract level.
For this purpose, we introduce the **GIPS** (**G**raph-Based (M)**I**LP **P**roblem **S**pecification Tool) framework that simplifies the development of ILP problem generators for graph-based optimization problems and a new Domain-Specific Language (DSL) called **GIPSL** (**G**raph-Based (M)**I**LP **P**roblem **S**pecification **L**anguage) that integrates GT and ILP problems on an abstract level.
Our approach uses GIPSL specifications as a starting point to derive ILP problem generators for a specific application domain automatically.
First experiments show that the derived ILP problem generators can compete with hand-crafted programs developed by ILP experts.

Expand Down
2 changes: 1 addition & 1 deletion content/dev/index.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@ draft: false
**GIPS** is developed at the [Real-Time Systems Lab, TU Darmstadt](https://www.es.tu-darmstadt.de/en/) (TUDa).
You can find the list of contributors on the [GIPS developer page](../dev-team).

The source code of **GIPS** is available at our [GitHub repository](https://github.com/Echtzeitsysteme/gips) and it is based on [eMoflon::IBeX](https://emoflon.org/ibex/)
The source code of **GIPS** is available at our [GitHub repository](https://github.com/Echtzeitsysteme/gips) and it is based on [eMoflon::IBeX](https://emoflon.org/ibex/).


**GIPS**-specific development workspace set-up steps are available in the [README.md file](https://github.com/Echtzeitsysteme/gips#installation-development) of the [GIPS repository](https://github.com/Echtzeitsysteme/gips).
Expand Down