search

Gbury / mSAT

A modular sat/smt solver with proof output.
https://gbury.github.io/mSAT/
Apache License 2.0
97 stars 8 forks source link

Setup Github Actions CI #30

Closed Gbury closed 9 months ago

Gbury commented 9 months ago

This repo used to use Travis CI, but since the free service ended, there is no CI anymore.

c-cube commented 9 months ago

done :)

Gbury commented 9 months ago

Thanks a lot !