Search results

Installation Issue (Execution of Example)

Status: Open.

#33 In isse-augsburg/minibrass;

· code-raccoon opened on Dec 27, 2024

Empty constraint preferences should be handled gracefully

Status: Open.

#18 In isse-augsburg/minibrass;

· Alexander-Schiendorfer opened on May 2, 2018

MiniBrass Parsing: better errormessage for constraint preferences

Status: Open.

#16 In isse-augsburg/minibrass;

· Bumboclaat opened on Jan 12, 2018

String format inconsistencies

Status: Open.

#15 In isse-augsburg/minibrass;

· Alexander-Schiendorfer opened on Dec 20, 2017

Improve imports - only import those type.mzns that are actually used ...

Status: Open.

#12 In isse-augsburg/minibrass;

· Alexander-Schiendorfer opened on Nov 3, 2017

Implement compiler optimization for lexicographic orders

Status: Open.

#3 In isse-augsburg/minibrass;

· Alexander-Schiendorfer opened on Jul 12, 2016