Popular repositories Loading

1. rosette rosette Public

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

   Racket 656 75

2. kodkod kodkod Public

   Kodkod solver for relational logic

   Java 74 23

3. minisatp minisatp Public

   MiniSat v1.14 with proof logging

   C 4

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 1