GitHub repository: tammet/logictools
Primary language: JavaScript
Created: 2015-02-25T19:02:32Z
Description: Simple algorithms for converting and solving propositional formulas:  easy to hack and experiment with.