Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
wintered authored Oct 18, 2024
1 parent 4ccfb44 commit 54911dc
Showing 1 changed file with 12 additions and 6 deletions.
18 changes: 12 additions & 6 deletions README.md
Original file line number Diff line number Diff line change
@@ -1,11 +1,17 @@
<p align="center"><a><img width="200" alt="portfolio_view" align="center" src="https://wintered.github.io/img/ET/Logo/PNG/logo.png"></a></p>
<br />
<p align="center">
[![Python & Haskell CI](https://github.com/wintered/ET/actions/workflows/ci.yml/badge.svg)](https://github.com/wintered/ET/actions/workflows/ci.yml)
<a href="https://opensource.org/licenses/MIT" alt="License">
<img src="https://img.shields.io/badge/License-MIT-yellow.svg" /></a>
<a><img width="200" alt="portfolio_view" align="center" src="https://wintered.github.io/img/ET/Logo/PNG/logo.png"></a>
</p>

<br />
<div align="center">
<a href="https://github.com/wintered/ET/actions/workflows/ci.yml">
<img src="https://github.com/wintered/ET/actions/workflows/ci.yml/badge.svg" alt="Python & Haskell CI" />
</a>
<a href="https://opensource.org/licenses/MIT" alt="License">
<img src="https://img.shields.io/badge/License-MIT-yellow.svg" />
</a>
</div>
<br>
<br>

ET: Enumerative Testing of SMT Solvers
==============================================
Expand Down

0 comments on commit 54911dc

Please sign in to comment.