Popular repositories Loading

1. rosette rosette Public

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

   Racket 697 85

2. kodkod kodkod Public

   Kodkod solver for relational logic

   Java 86 27

3. minisatp minisatp Public

   MiniSat v1.14 with proof logging

   C 4 1

4. wallingford wallingford Public

   Forked from alanb2718/wallingford

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

   Racket 2

5. emina.github.io emina.github.io Public

   HTML 2