Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history 
Added documentation badge.
  • Loading branch information
marcogario committed Feb 7, 2015
1 parent b5ca791 commit d204ce3
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 @@ -13,6 +13,7 @@ Among others, you can:
SMT-Lib complaint solver.

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

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

0 comments on commit d204ce3

Please sign in to comment.