GitHub repository: vladborisov/slac
Primary language: C++
Created: 2016-03-04T08:17:01Z
Description: Sentential Logic Algebra Calculator