Seattle

Emina Torlak

Elite
@emina
homes.cs.washington.edu/~emina/

rosette. The Rosette solver-aided host language, sample solver-aided DSLs, and demos

696

kodkod. Kodkod solver for relational logic

86

minisatp. MiniSat v1.14 with proof logging

4

emina.github.io. HTML

2

wallingford. An experimental DSL for handling state and updates, along with constraints, in Rosette.

2
5
Apply