← All repos

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