fix a typo and lack of spaces in strings split across two lines
revert change
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).