Merge pull request #69 from niklasdewally/patch-1

Update Minion README.md
conjure-cp · Nov 15, 2023 · f552826 · f552826
2 parents e675efa + 92e5fb9
commit f552826
Showing 1 changed file with 6 additions and 2 deletions.
diff --git 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