search

septract / starling-tool

An automatic verifier for concurrent algorithms.
MIT License
7 stars 4 forks source link

Remove python3 travis dependency #59

Closed bensimner closed 8 years ago

bensimner commented 8 years ago

Z3 already has a python dependency, so remove the superfluous one.

MattWindsor91 commented 8 years ago

Works with travis, why not? Though grr at Z3 for not using python3. This is 2016.