You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I am using MiniZinc v2.8.0 on Linux to solve the following problem:
include "globals.mzn";
int: N=5;
array[1..5] of var 1..10 : x;
enum STATE = {S1, S2, S3};
% DFA to define 12*1
array [STATE,1..2] of opt STATE: trans = [| 1: 2:
| S1: S2, <>
| S2: S3, S2
| S3: <>, <>|];
constraint regular(x, trans, S1, {S3});
Which gives the the following error when compiling for any solver I have installed:
MiniZinc has encountered an internal error. This is a bug.
Please file a bug report using the MiniZinc bug tracker.
The internal error message was:
"unexpected absent literal"
This model does work on v2.7.6
Kind regards,
Ignace
The text was updated successfully, but these errors were encountered:
IgnaceBleukx
changed the title
2.8.1 Error while compiling regular constraint
2.8.0 Error while compiling regular constraint
Nov 20, 2023
Hi,
I am using MiniZinc v2.8.0 on Linux to solve the following problem:
Which gives the the following error when compiling for any solver I have installed:
This model does work on v2.7.6
Kind regards,
Ignace
The text was updated successfully, but these errors were encountered: