4 commits

Author	SHA1	Message	Date
Marcell Vazquez-Chanlatte	5756362b3c	deduplicate fastboolean_eval from boolean_eval + packaging	2016-12-03 12:56:33 -08:00
Marcell Vazquez-Chanlatte	9e30ddb060	testing boolean evaluation	2016-11-04 15:59:32 -07:00
Marcell Vazquez-Chanlatte	c46e325cf8	start addeding atomic propositions	2016-11-04 14:45:30 -07:00
Marcell Vazquez-Chanlatte	4c46db7f71	restructing to move repo	2016-11-02 17:54:47 -07:00

Renamed from boolean_eval.py (Browse further)