GitHub repository: Fedor-L/SNAP
Primary language: HTML
Created: 2016-10-18T17:31:42Z
Description: An interactive solver of logical expressions