flussab-aiger: Fix URLs that pointed to cnf instead of aiger

jix · Nov 18, 2024 · 7939455 · 7939455
1 parent 3f3cf59
commit 7939455
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/flussab-aiger/README.md b/flussab-aiger/README.md
@@ -35,8 +35,8 @@ for inclusion in this software by you shall be licensed as defined in
 [LICENSE](LICENSE).
 
 [github]:https://github.com/jix/flussab
-[crate]:https://crates.io/crates/flussab-cnf
-[docs]:https://docs.rs/flussab-cnf/*/flussab_cnf
+[crate]:https://crates.io/crates/flussab-aiger
+[docs]:https://docs.rs/flussab-aiger/*/flussab_aiger
 
 [github-badge]: https://img.shields.io/badge/github-jix/flussab-blueviolet?style=flat-square
 [crate-badge]: https://img.shields.io/crates/v/flussab-aiger?style=flat-square