search

lsils / bill

C++ header-only reasoning library
MIT License
11 stars 6 forks source link

CI #26

Closed hriener closed 4 years ago

hriener commented 4 years ago

CI using GitHub workflows.