# Blogpost showcasing rosette to solve puzzle

**URL:** <https://racket.discourse.group/t/blogpost-showcasing-rosette-to-solve-puzzle/1950>\
**Category:** Show & Tell\
**Created:** [May 16, 2023, 3:17am UTC](https://racket.discourse.group/t/blogpost-showcasing-rosette-to-solve-puzzle/1950 "2023-05-16T03:17:41Z")\
**Posts on this page:** 5\
**Page:** 1

<div class="post-metadata">

**Author:** ![rdivyanshu](https://yyz2.discourse-cdn.com/free1/user_avatar/racket.discourse.group/rdivyanshu/32/1158_2.png) [@rdivyanshu](https://racket.discourse.group/u/rdivyanshu)\
**Post date:** [May 16, 2023, 3:17am UTC](https://racket.discourse.group/t/blogpost-showcasing-rosette-to-solve-puzzle/1950/1 "2023-05-16T03:17:41Z")

</div>

Hello everyone,

I have written a blog post to show how to use rosette to solve a problem.  
Link - [Solving a mathematic problem using Rosette](https://rdivyanshu.github.io/ma122.html)

---

<div class="post-metadata">

**Author:** ![jbclements](https://yyz2.discourse-cdn.com/free1/user_avatar/racket.discourse.group/jbclements/32/11_2.png) [@jbclements](https://racket.discourse.group/u/jbclements)\
**Post date:** [May 16, 2023, 5:43am UTC](https://racket.discourse.group/t/blogpost-showcasing-rosette-to-solve-puzzle/1950/2 "2023-05-16T05:43:16Z")

</div>

This is very nice, I know that rosette can lift much larger stones, but I've been hoping someone would put together a nice simple example like this for a while!

---

<div class="post-metadata">

**Author:** ![jbclements](https://yyz2.discourse-cdn.com/free1/user_avatar/racket.discourse.group/jbclements/32/11_2.png) [@jbclements](https://racket.discourse.group/u/jbclements)\
**Post date:** [July 7, 2024, 12:00am UTC](https://racket.discourse.group/t/blogpost-showcasing-rosette-to-solve-puzzle/1950/3 "2024-07-07T00:00:28Z")

</div>

FWIW, I finally had a good reason to go and take a look at this, and I was sad to see that the URL given above was now a 404. Fortunately, I believe I've found the correct replacement:

> **[Under the hood of Rosette](https://rdivyanshu.github.io/posts/2023/10/internals-of-rosette.html)**
>
> How Rosette works and why it
> generates nice SAT encoding ?

---

<div class="post-metadata">

**Author:** ![jbclements](https://yyz2.discourse-cdn.com/free1/user_avatar/racket.discourse.group/jbclements/32/11_2.png) [@jbclements](https://racket.discourse.group/u/jbclements)\
**Post date:** [July 7, 2024, 12:14am UTC](https://racket.discourse.group/t/blogpost-showcasing-rosette-to-solve-puzzle/1950/4 "2024-07-07T00:14:16Z")

</div>

Oops! No, I'm mistaken. This is the right link, I believe:

> **[Solving a mathemattic problem using Rosette](https://rdivyanshu.github.io/posts/2021/06/crux-mathematicorum-ma122-rosette.html)**
>
> How to use solver aided language to
> solve a puzzle

---

<div class="post-metadata">

**Author:** ![rdivyanshu](https://yyz2.discourse-cdn.com/free1/user_avatar/racket.discourse.group/rdivyanshu/32/1158_2.png) [@rdivyanshu](https://racket.discourse.group/u/rdivyanshu)\
**Post date:** [July 9, 2024, 11:05am UTC](https://racket.discourse.group/t/blogpost-showcasing-rosette-to-solve-puzzle/1950/5 "2024-07-09T11:05:33Z")

</div>

Sorry about that. I did some refactoring of site and which moved some urls.