Giters
Emina Torlak (emina)

emina

Geek Repo

275

followers

0

following

0

stars

Company:University of Washington

Location:Seattle

Home Page:http://homes.cs.washington.edu/~emina/

Github PK Tool:Github PK Tool

Emina Torlak's repositories

rosette

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

Language:RacketLicense:NOASSERTIONStargazers:631Issues:30Issues:144

kodkod

Kodkod solver for relational logic

Language:JavaLicense:MITStargazers:73Issues:8Issues:1

minisatp

MiniSat v1.14 with proof logging

Language:CLicense:NOASSERTIONStargazers:4Issues:3Issues:0

wallingford

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

Language:RacketLicense:MITStargazers:2Issues:1Issues:0

emina.github.io

Language:HTMLStargazers:1Issues:2Issues:0