More elegant way of solving exact equations
Removed failing tests
Rectified error in Not code
fix errors in And and Or code
Merge pull request #1955 from Manoj-Kumar-S/speed

More elegant way of solving exact equations
Merge pull request #17 from smichr/boolargs

fix errors in And and Or code
let __new__ pass _args
restore arg tests
Merge pull request #18 from smichr/boolargs

Boolargs
allow for Atoms in arg tests

This allows tests which produce an atom from their input, e.g. And(2, 3) -> 1
update Boolean docstrings
Merge pull request #19 from smichr/boolargs

Boolargs
Tests for bugs in ask.
Fix a bug in ask.
Changed failing tests
fixed typo in test_args
final touchup for boolargs
Merge pull request #1961 from placasse/extract_facts

A little bug in ask (part 2).
Merge pull request #1962 from smichr/boolargs

Boolargs
try return a factored expr more often from simplify