Рет қаралды 329
Brown’s Logic for Systems course teaches modeling and reasoning about systems via constraint solving. The specific solver we use must fit our teaching needs; we require accessible syntax, the right level of automation, the ability to visualize output, and much else. This short talk will show how our tools have evolved, how building our own atop Racket has been worthwhile, and why it matters.