Closed ozgurakgun closed 10 months ago
Sorry @ChrisJefferson I must have missed this bug report! It was a weird one to fix because it looks like we run the same code in conjure solve and translate-solution, but there is a subtle difference (about not having the Essence file available).
Sorry @ChrisJefferson I must have missed this bug report! It was a weird one to fix because it looks like we run the same code in conjure solve and translate-solution, but there is a subtle difference (about not having the Essence file available).