search

potassco / telingo

🕰️ A solver for temporal programs.
MIT License
22 stars 7 forks source link

Replace Travis by Action to test #11

Closed rkaminsk closed 3 years ago