Skip to content

Commit

Permalink
Prepare release 0.2
Browse files Browse the repository at this point in the history
  • Loading branch information
fatemender committed Jul 26, 2022
1 parent cf55e52 commit 1c338f4
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 2 deletions.
1 change: 1 addition & 0 deletions LICENSE
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
MIT License

Copyright (c) 2021 Mikhail Solovev
Copyright (c) 2022 Mrmaxmeier <https://github.com/Mrmaxmeier>

Permission is hereby granted, free of charge, to any person obtaining a copy
of this software and associated documentation files (the "Software"), to deal
Expand Down
4 changes: 2 additions & 2 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ to your `Cargo.toml`:

```toml
[dependencies]
bitwuzla-sys = "0.1.1"
bitwuzla-sys = "0.2"
```

### Using vendored static `bitwuzla` library
Expand All @@ -26,7 +26,7 @@ with the `vendor-cadical` feature enabled:

```toml
[dependencies]
bitwuzla-sys = { version = "0.1.1", features = ["vendor-cadical"] }
bitwuzla-sys = { version = "0.2", features = ["vendor-cadical"] }
```

Enabling `vendor-cadical` will automatically build a static `bitwuzla` library
Expand Down

0 comments on commit 1c338f4

Please sign in to comment.