Skip to content

Commit

Permalink
add SMT tutorial
Browse files Browse the repository at this point in the history
  • Loading branch information
relf committed Aug 30, 2019
1 parent f406524 commit a0e2cab
Show file tree
Hide file tree
Showing 2 changed files with 1,727 additions and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -46,7 +46,7 @@ testflo
```

# Usage
For examples demonstrating how to use SMT, go to the 'smt/examples' folder.
For examples demonstrating how to use SMT, you can take a look at the [tutorial notebook](tutorial/SMT_Tutorial.ipynb) or go to the 'smt/examples' folder.

# Documentation
http://smt.readthedocs.io
Expand Down
1,726 changes: 1,726 additions & 0 deletions tutorial/SMT_Tutorial.ipynb

Large diffs are not rendered by default.

0 comments on commit a0e2cab

Please sign in to comment.