search

emina / rosette

The Rosette solver-aided host language, sample solver-aided DSLs, and demos
Other
638 stars 74 forks source link

Attempt STP fix #283

Closed gussmith23 closed 2 months ago

gussmith23 commented 2 months ago

@sorawee

sorawee commented 2 months ago

Thank you so much, Gus!

gussmith23 commented 2 months ago

BTW i'm not convinced this will work immediately

sorawee commented 2 months ago

The CI passed though?

gussmith23 commented 2 months ago

Oh great! Didn't see that it ran.