When will the tutorials on Grisette be made available?

[akothen]

Hello @lsrcz , I am a Rosette user who would like to move to Grisette as soon as possible, but I think I will need tutorials on Grisette to get started initially. So I was wondering when will the tutorials on it will be made available? Thanks.

[lsrcz]

Hi @AkashIwnK, thank you for your interest in Grisette. We currently do not have a tutorial like Rosette Guide, but we do have some examples which you can have a look at.

• https://github.com/lsrcz/grisette-g2q-benchmarks. Here we have some small examples from G2Q. There is an arithmetic language verifier, a de Bruijn encoded lambda expression synthesizer, a n-queens solver, and a solver-aided regex matcher. These are small examples, but not quite documented.
• https://github.com/lsrcz/grisette-examples/tree/main/arith-synth Here we have an example for an arithmetic language synthesizer with extensive documentations.
• https://hackage.haskell.org/package/grisette-0.3.1.1/docs/Grisette-Core.html The API doc for Grisette core is also available. There are some explanations for the data abstractions in Grisette.

Please take a look at the resources while I am working on a proper tutorial -- I will start doing it when I get some time. Please let me know if an example for some specific domain is useful for you, or if you would like me to document some of the examples. If they are too advanced, or you have any questions, please let me know and I can provide help.

[lsrcz]

Hi @AkashIwnK, there is also a library for synthesis in Grisette under development at https://github.com/lsrcz/grisette-synth-lib if your focus is synthesis or super-optimization. An example is available at https://github.com/lsrcz/grisette-synth-lib/tree/development/arith.