*** Wartungsfenster jeden ersten Mittwoch vormittag im Monat ***

v0.4.1
Geibinger, Tobias's avatar
Geibinger, Tobias
@tobias.geibinger
a0d906e9 · fixed bound issue which broke optimisation ·
Release: v0.4.1 
Updated to clingo 5.8.0 and resolved an issue with the addition of bounds which broke optimisation.

[ 28.Jul 20h : 5,478 users | 1,363 groups | 8,489 projects ]