Uninterpreted constraints are not always solved
Uninterpreted constraints sometimes generate
Submitted by Hendrik van Antwerpen on 7 September 2016 at 16:49... (Unsolved)errors, which should never happen.
Issue Log
On 7 September 2016 at 16:50 Hendrik van Antwerpen commented:
Project exhibiting this problem in https://github.com/metaborg/dynsem-typed.
On 13 February 2017 at 15:33 Hendrik van Antwerpen commented:
Resolved some time ago.
On 13 February 2017 at 15:33 Hendrik van Antwerpen closed this issue.
Log in to post comments