GitHub repository: lsils/bill
Primary language: C
Created: 2019-06-03T12:10:34Z
Description: C++ header-only reasoning library