Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history 
Added shippable badge
  • Loading branch information
marcogario committed Feb 7, 2015
1 parent 873f065 commit b5ca791
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,6 +12,7 @@ Among others, you can:
* Solve them using one of the native solvers, or by wrapping any
SMT-Lib complaint solver.

[![Build Status](https://api.shippable.com/projects/54d4edba5ab6cc13528b1970/badge?branchName=master)](https://app.shippable.com/projects/54d4edba5ab6cc13528b1970/builds/latest)

Requirements
============
Expand Down

0 comments on commit b5ca791

Please sign in to comment.