Another great resource for learning constraint programming is CS294 "Programming Synthesis for Everyone" [1]. It focuses on using Racket and Rosette [2] to syn

Another great resource for learning constraint programming is CS294 "Programming Synthesis for Everyone" [1]. It focuses on using Racket and Rosette [2] to synthesize programs. [1]: https://homes.cs.washington.edu/~bodik/ucb/cs294fa12.html https://homes.cs.washington.edu/~bodik/ucb/cs294fa12.html [2]: https://emina.github.io/rosette/ https://emina.github.io/rosette/