JP Smith dd24878724 Remove unicorn script from travis build (#64) ...

* remove unicorn script from travis build

* remove unicorn script entirely

2017-03-13 10:51:49 -05:00

..

travis_install_z3.sh

Initial import

2017-02-13 12:04:15 -05:00

travis_test.sh

Port to real python package structure (#6)

2017-02-15 12:32:08 -05:00