Mariia Mykhailova

Validating changes to the magic packages is always a challenge... I aim to always keep the Katas on a publicly available QDK version, so that anybody installing them doesn't get...

It's defined in [`Microsoft.Quantum.Katas` package](https://github.com/microsoft/QuantumKatas/tree/master/utilities/Microsoft.Quantum.Katas) in this repo.

Sure, give it a try and let us know what design you come up with. It's a rather non-trivial issue, so we'll probably want to discuss it with @rmshaffer as...

Yes, you need to update the Microsoft.Quantum.Katas project, build a NuGet package with a custom version out of it and use that package instead of the published NuGets. Here's the...

Hmm, then this might take a different path... I don't recall debugging these magics, but I'll try to set it up locally and ask around in the team to see...

A quick answer to the comment-before-last one: yes, documenting these steps in the contributor's guide would definitely be helpful! Let me try and think of a workaround for this -...

@vivanwin That will be great, thank you!

@jainvasu631 Apologies for the delay replying! For the oracle-based tasks, there are two ways to verify that they are done correctly: * One can compare the solution to the reference...

@jainvasu631 Sounds good - I would start with one of them (probably SolveSATWithGrover) so that we can polish our approach, and then carry it over to the other two once...

Good point! I suspect the culprit is https://github.com/microsoft/QuantumKatas/blob/852009b3ef96db0a7eed0bcc02bbe8b706452697/utilities/Microsoft.Quantum.Katas/KataMagic.cs#L98 - we're stripping the first line (the magic) from the code in the cell before compiling it, so it ends up reporting...