diff --git a/solvers/minion/README.md b/solvers/minion/README.md index 350f04997..8b707fc88 100644 --- a/solvers/minion/README.md +++ b/solvers/minion/README.md @@ -1,8 +1,12 @@ # `minion_rs` -![Coverage Badge](https://conjure-cp.github.io/conjure-oxide/coverage/main/minion/badges/flat.svg) +[![Coverage Badge](https://conjure-cp.github.io/conjure-oxide/coverage/main/minion/badges/flat.svg)](https://conjure-cp.github.io/conjure-oxide/coverage/main/minion/) +[![solvers/minion](https://github.com/conjure-cp/conjure-oxide/actions/workflows/minion.yml/badge.svg?event=push)](https://github.com/conjure-cp/conjure-oxide/actions/workflows/minion.yml) -This crate contains (in progress) bindings for the [Minion](https://github.com/minion/minion) constraint solver. +This crate contains (in progress) Rust bindings for the [Minion](https://github.com/minion/minion) constraint solver. + + +Read the documentation [here](https://conjure-cp.github.io/conjure-oxide/docs/minion_rs/). ## Licence