kach/recreational-rosette
View on GitHub ↗ ★ 115 Racket
Some fun examples of solving problems with symbolic execution
4 mentions on Hacker News by 1 person: 0 stories, 4 comments · first 2018-08-04 · latest 2021-05-03
20082026
-
I don't know about "practical," but you might enjoy this: https://github.com/kach/recreational-rosette
comment by hardmath123 · 2021-05-03 · in Programming in Z3 by learning to think like a compiler -
…to use the Z3 constraint solver to automatically harmonize melodies… it worked surprisingly well! https://github.com/kach/recreational-rosette/tree/master/mus...
comment by hardmath123 · 2020-04-22 · in Guitar Chord Voicings with Prolog -
Hehe, I worked on one of these last year when I took a music theory class! You might enjoy this: https://github.com/kach/recreational-rosette/tree/master/mus...
comment by hardmath123 · 2018-08-05 · in Modern SAT solvers: fast, neat and underused -
…solving tricky problems. I've been collecting some fun examples of solver-aided programming here: https://github.com/kach/recreational-rosette (also, not in that repo, but still interesting: https://github.com/kach/tower-of-power ).
comment by hardmath123 · 2018-08-04 · in Modern SAT solvers: fast, neat and underused