Fixing satisifiability problem with numba
Merge pull request #146 from aterrel/fix_travis

Fixing travis