v1.3.0

gipsyh · Dec 17, 2024 · aa4b30b · aa4b30b
1 parent 98e5378
commit aa4b30b
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 3 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rIC3"
-version = "1.2.4-dev"
+version = "1.3.0"
 edition = "2021"
 authors = ["Yuheng Su <[email protected]>"]
 repository = "https://github.com/gipsyh/rIC3"

diff --git a/README.md b/README.md
@@ -11,13 +11,22 @@
 
 To view the submission for HWMCC'24, please checkout the `HWMCC24` branch or download the binary release at https://github.com/gipsyh/rIC3-HWMCC24.
 
-## Build and Run
+
+## Install From Crates.io
+```cargo install rIC3```
+
+```rIC3 <aig model>```
+
+
+## Install From Source
 Currently, some dependency libraries are linked through pre-compiled static files in the repository, and they have a dependency on the glibc version. Ubuntu 20.04 or later works fine.
 
 - Install the Rust compiler https://www.rust-lang.org/
 - Switch to nightly ````rustup default nightly````
 - ````git clone --recurse-submodules https://github.com/gipsyh/rIC3````
-- ````cargo r --release -- <aig model>````
+- ```cd rIC3```
+- Build and Run ````cargo r --release -- <aig model>````
+- Install ```cargo install --path .```
 
 Copyright (C) 2023 - Present, Yuheng Su ([email protected]). All rights reserved.