File tree Expand file tree Collapse file tree 11 files changed +31
-31
lines changed Expand file tree Collapse file tree 11 files changed +31
-31
lines changed Original file line number Diff line number Diff line change 1
- [ ![ crates.io] ( https://img.shields.io/crates/v/rustsat )] ( https://crates.io/crates/rustsat )
2
- [ ![ docs.rs] ( https://img.shields.io/docsrs/rustsat )] ( https://docs.rs/rustsat )
3
- [ ![ PyPI] ( https://img.shields.io/pypi/v/rustsat )] ( https://pypi.org/project/rustsat )
4
- [ ![ License] ( https://img.shields.io/crates/l/rustsat )] ( ./LICENSE )
1
+ [ ![ crates.io] ( https://img.shields.io/crates/v/rustsat?style=for-the-badge )] ( https://crates.io/crates/rustsat )
2
+ [ ![ docs.rs] ( https://img.shields.io/docsrs/rustsat?style=for-the-badge )] ( https://docs.rs/rustsat )
3
+ [ ![ PyPI] ( https://img.shields.io/pypi/v/rustsat?style=for-the-badge )] ( https://pypi.org/project/rustsat )
4
+ [ ![ License] ( https://img.shields.io/crates/l/rustsat?style=for-the-badge )] ( ./LICENSE )
5
5
6
6
<!-- cargo-rdme start -->
7
7
Original file line number Diff line number Diff line change 1
- [ ![ crates.io] ( https://img.shields.io/crates/v/rustsat-batsat )] ( https://crates.io/crates/rustsat-batsat )
2
- [ ![ docs.rs] ( https://img.shields.io/docsrs/rustsat-batsat )] ( https://docs.rs/rustsat-batsat )
3
- [ ![ License] ( https://img.shields.io/crates/l/rustsat-batsat )] ( ../LICENSE )
1
+ [ ![ crates.io] ( https://img.shields.io/crates/v/rustsat-batsat?style=for-the-badge )] ( https://crates.io/crates/rustsat-batsat )
2
+ [ ![ docs.rs] ( https://img.shields.io/docsrs/rustsat-batsat?style=for-the-badge )] ( https://docs.rs/rustsat-batsat )
3
+ [ ![ License] ( https://img.shields.io/crates/l/rustsat-batsat?style=for-the-badge )] ( ../LICENSE )
4
4
5
5
<!-- cargo-rdme start -->
6
6
Original file line number Diff line number Diff line change 1
- [ ![ crates.io] ( https://img.shields.io/crates/v/rustsat-cadical )] ( https://crates.io/crates/rustsat-cadical )
2
- [ ![ docs.rs] ( https://img.shields.io/docsrs/rustsat-cadical )] ( https://docs.rs/rustsat-cadical )
3
- [ ![ License] ( https://img.shields.io/crates/l/rustsat-cadical )] ( ../LICENSE )
1
+ [ ![ crates.io] ( https://img.shields.io/crates/v/rustsat-cadical?style=for-the-badge )] ( https://crates.io/crates/rustsat-cadical )
2
+ [ ![ docs.rs] ( https://img.shields.io/docsrs/rustsat-cadical?style=for-the-badge )] ( https://docs.rs/rustsat-cadical )
3
+ [ ![ License] ( https://img.shields.io/crates/l/rustsat-cadical?style=for-the-badge )] ( ../LICENSE )
4
4
5
5
<!-- cargo-rdme start -->
6
6
Original file line number Diff line number Diff line change 1
- [ ![ License] ( https://img.shields.io/crates/l/rustsat )] ( ./LICENSE )
1
+ [ ![ License] ( https://img.shields.io/crates/l/rustsat?style=for-the-badge )] ( ./LICENSE )
2
2
3
3
<!-- cargo-rdme start -->
4
4
Original file line number Diff line number Diff line change 1
- [ ![ crates.io] ( https://img.shields.io/crates/v/rustsat-glucose )] ( https://crates.io/crates/rustsat-glucose )
2
- [ ![ docs.rs] ( https://img.shields.io/docsrs/rustsat-glucose )] ( https://docs.rs/rustsat-glucose )
3
- [ ![ License] ( https://img.shields.io/crates/l/rustsat-glucose )] ( ../LICENSE )
1
+ [ ![ crates.io] ( https://img.shields.io/crates/v/rustsat-glucose?style=for-the-badge )] ( https://crates.io/crates/rustsat-glucose )
2
+ [ ![ docs.rs] ( https://img.shields.io/docsrs/rustsat-glucose?style=for-the-badge )] ( https://docs.rs/rustsat-glucose )
3
+ [ ![ License] ( https://img.shields.io/crates/l/rustsat-glucose?style=for-the-badge )] ( ../LICENSE )
4
4
5
5
<!-- cargo-rdme start -->
6
6
Original file line number Diff line number Diff line change 1
- [ ![ crates.io] ( https://img.shields.io/crates/v/rustsat-ipasir )] ( https://crates.io/crates/rustsat-ipasir )
2
- [ ![ docs.rs] ( https://img.shields.io/docsrs/rustsat-ipasir )] ( https://docs.rs/rustsat-ipasir )
3
- [ ![ License] ( https://img.shields.io/crates/l/rustsat-cadical )] ( ../LICENSE )
1
+ [ ![ crates.io] ( https://img.shields.io/crates/v/rustsat-ipasir?style=for-the-badge )] ( https://crates.io/crates/rustsat-ipasir )
2
+ [ ![ docs.rs] ( https://img.shields.io/docsrs/rustsat-ipasir?style=for-the-badge )] ( https://docs.rs/rustsat-ipasir )
3
+ [ ![ License] ( https://img.shields.io/crates/l/rustsat-cadical?style=for-the-badge )] ( ../LICENSE )
4
4
5
5
<!-- cargo-rdme start -->
6
6
Original file line number Diff line number Diff line change 1
- [ ![ crates.io] ( https://img.shields.io/crates/v/rustsat-kissat )] ( https://crates.io/crates/rustsat-kissat )
2
- [ ![ docs.rs] ( https://img.shields.io/docsrs/rustsat-kissat )] ( https://docs.rs/rustsat-kissat )
3
- [ ![ License] ( https://img.shields.io/crates/l/rustsat-kissat )] ( ../LICENSE )
1
+ [ ![ crates.io] ( https://img.shields.io/crates/v/rustsat-kissat?style=for-the-badge )] ( https://crates.io/crates/rustsat-kissat )
2
+ [ ![ docs.rs] ( https://img.shields.io/docsrs/rustsat-kissat?style=for-the-badge )] ( https://docs.rs/rustsat-kissat )
3
+ [ ![ License] ( https://img.shields.io/crates/l/rustsat-kissat?style=for-the-badge )] ( ../LICENSE )
4
4
5
5
<!-- cargo-rdme start -->
6
6
Original file line number Diff line number Diff line change 1
- [ ![ crates.io] ( https://img.shields.io/crates/v/rustsat-minisat )] ( https://crates.io/crates/rustsat-minisat )
2
- [ ![ docs.rs] ( https://img.shields.io/docsrs/rustsat-minisat )] ( https://docs.rs/rustsat-minisat )
3
- [ ![ License] ( https://img.shields.io/crates/l/rustsat-minisat )] ( ../LICENSE )
1
+ [ ![ crates.io] ( https://img.shields.io/crates/v/rustsat-minisat?style=for-the-badge )] ( https://crates.io/crates/rustsat-minisat )
2
+ [ ![ docs.rs] ( https://img.shields.io/docsrs/rustsat-minisat?style=for-the-badge )] ( https://docs.rs/rustsat-minisat )
3
+ [ ![ License] ( https://img.shields.io/crates/l/rustsat-minisat?style=for-the-badge )] ( ../LICENSE )
4
4
5
5
<!-- cargo-rdme start -->
6
6
Original file line number Diff line number Diff line change 1
- [ ![ crates.io] ( https://img.shields.io/crates/v/pigeons )] ( https://crates.io/crates/pigeons )
2
- [ ![ docs.rs] ( https://img.shields.io/docsrs/pigeons )] ( https://docs.rs/pigeons )
3
- [ ![ License] ( https://img.shields.io/crates/l/pigeons )] ( ../LICENSE )
1
+ [ ![ crates.io] ( https://img.shields.io/crates/v/pigeons?style=for-the-badge )] ( https://crates.io/crates/pigeons )
2
+ [ ![ docs.rs] ( https://img.shields.io/docsrs/pigeons?style=for-the-badge )] ( https://docs.rs/pigeons )
3
+ [ ![ License] ( https://img.shields.io/crates/l/pigeons?style=for-the-badge )] ( ../LICENSE )
4
4
5
5
<!-- cargo-rdme start -->
6
6
Original file line number Diff line number Diff line change 1
- [ ![ PyPI] ( https://img.shields.io/pypi/v/rustsat )] ( https://pypi.org/project/rustsat )
2
- [ ![ License] ( https://img.shields.io/crates/l/rustsat )] ( ./LICENSE )
1
+ [ ![ PyPI] ( https://img.shields.io/pypi/v/rustsat?style=for-the-badge )] ( https://pypi.org/project/rustsat )
2
+ [ ![ License] ( https://img.shields.io/crates/l/rustsat?style=for-the-badge )] ( ./LICENSE )
3
3
4
4
<!-- cargo-rdme start -->
5
5
You can’t perform that action at this time.
0 commit comments