search

sarsko / CreuSAT

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
MIT License
614 stars 12 forks source link

Set up CI #14

Closed xldenis closed 2 years ago

xldenis commented 2 years ago

It would be a good idea to set up a simple CI script that ensures the proofs are not obsolete (without even running them). This would avoid much risk of breakage.

sarsko commented 2 years ago

Closed by #22