search

Echtzeitsysteme / gips

Graph-Based (M)ILP Problem Specification Tool
https://gips.dev
GNU General Public License v3.0
3 stars 1 forks source link

Validator: warning for some of the operators when using GLPK #166

Closed maxkratz closed 1 month ago

maxkratz commented 1 month ago

This PR is part of the preparation for merging https://github.com/Echtzeitsysteme/gips/pull/145.

The validator now shows warnings for arithmetic operators that are not >=, <=, or == when using GLPK.