search

conjure-cp / conjure

Conjure: The Automated Constraint Modelling Tool
Other
96 stars 20 forks source link

efta and SR #324

Closed ozgurakgun closed 7 years ago

ozgurakgun commented 8 years ago

Originally reported by: Bilal Hussain (Bitbucket: Bilalh, GitHub: Bilalh)

The eprime from efpa causes SR to err

ERROR: Identifier not defined: q35
ERROR: Failed type checking after substituting in lettings.

generated using

conjure -qf ./prob055-efpa/prob055-efpa.essence --smart-filenames -o ./prob055-efpa/prob055-efpa_no-chan-every -ax --channelling=no --representation-levels=no
ozgurakgun commented 8 years ago

Original comment by Özgür Akgün (Bitbucket: ozgurakgun, GitHub: ozgurakgun):

Closing then. Thanks for checking.

ozgurakgun commented 8 years ago

Original comment by Bilal Hussain (Bitbucket: Bilalh, GitHub: Bilalh):

No errors occur now, SR timed out after 15 min.

ozgurakgun commented 8 years ago

Original comment by Özgür Akgün (Bitbucket: ozgurakgun, GitHub: ozgurakgun):

Can you check if this is fixed now or not please?

ozgurakgun commented 8 years ago

Original comment by Bilal Hussain (Bitbucket: Bilalh, GitHub: Bilalh):

Here the param. To reduce it, I have update gen to it support options such --representation-levels=no. I also forgot turn on the log following for the these eprimes, Once I refined them again and update gen I try to reduce it

ozgurakgun commented 8 years ago

Original comment by Özgür Akgün (Bitbucket: ozgurakgun, GitHub: ozgurakgun):

(I checked the files, and it does seem like there is a problem here.)

ozgurakgun commented 8 years ago

Original comment by Özgür Akgün (Bitbucket: ozgurakgun, GitHub: ozgurakgun):

Would help if you could provide a param file.

Also, can you not reduce the essence with your gen stuff to a minimal failing example?