Skip to content

Commit

Permalink
Reduce README.md badges to CodeDocs
Browse files Browse the repository at this point in the history
  • Loading branch information
sbeyer committed Aug 4, 2024
1 parent de35b0d commit 28dbdf9
Showing 1 changed file with 0 additions and 2 deletions.
2 changes: 0 additions & 2 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -2,8 +2,6 @@

CommonSAT is intended as a common C++11 SAT solver interface for different SAT solvers.

[![Build Status](https://travis-ci.org/sbeyer/commonsat.svg)](https://travis-ci.org/sbeyer/commonsat)
[![Codacy Badge](https://api.codacy.com/project/badge/Grade/d2e9f78b43924f418914201125716925)](https://www.codacy.com/app/sbeyer/commonsat?utm_source=github.com&utm_medium=referral&utm_content=sbeyer/commonsat&utm_campaign=Badge_Grade)
[![CodeDocs](https://codedocs.xyz/sbeyer/commonsat.svg)](https://codedocs.xyz/sbeyer/commonsat/)

## So... what is CommonSAT?
Expand Down

0 comments on commit 28dbdf9

Please sign in to comment.