Start writing logic functions for the pseudo-boolean solver
Add Linear class to represent a linear constraint
Rename ITE to ITE_clauses
Start to write more logic functions
Changed the name back to ITE
Start to implement the full ITE logic
It's now conda.logic
Use custom true and false objects; move comment into docstring
Add tests for And
Note minisatp locations
Add and test Not and Or
Add an important TODO
Add test helpers file with _raises
No need to use the _ name any more
Don't bother with Not, just make - work on true and false
Add and test Xor
Always test -x too in test_logic.py
Make some tests a little cleaner
Add full tests for ITE
Fix name