Skip to content

Commit

Permalink
Add badges to README
Browse files Browse the repository at this point in the history
  • Loading branch information
SSoelvsten committed Jan 15, 2022
1 parent d6cb7d5 commit 24f389e
Showing 1 changed file with 8 additions and 0 deletions.
8 changes: 8 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
@@ -1,4 +1,12 @@
# CAL

[![Release](https://img.shields.io/github/v/release/ssoelvsten/cal)](https://github.com/SSoelvsten/cal/releases)
 
[![Documentation](https://img.shields.io/website?down_message=not%20available&label=docs&up_message=available&url=https%3A%2F%2Fssoelvsten.github.io%2Fcal)](https://ssoelvsten.github.io/cal)
 
[![test](https://img.shields.io/github/workflow/status/ssoelvsten/cal/check/main?label=test&logo=github&logoColor=white)](https://github.com/SSoelvsten/cal/actions/workflows/check.yml)
 

CAL is a BDD package [[Bryant86](#references)] that uses breadt-first
algorithms [[Ochi93](#references), [Ashar94](#references),
[Sanghavi96](#references)] to exploit a locality of BDD nodes on disk.
Expand Down

0 comments on commit 24f389e

Please sign in to comment.