GitHub repository: rpi-alpaca/logic
Primary language: C++
Description: Automated reasoner half of ALPACA