Merge #12

12: Release Varisat 0.2.0 r=jix a=jix



Co-authored-by: Jannis Harder <[email protected]>

Author: bors[bot]

.circleci/config.yml

@@ -139,6 +139,15 @@ jobs:
                 -c $CIRCLE_SHA1 \
                 -delete v$VER \
                 /tmp/workspace/release
+
+              cargo login $CARGO_TOKEN
+
+              for PKG in varisat varisat-cli; do
+                cd $PKG
+                cargo package || { echo retrying && sleep 5 && cargo package; }
+                cargo publish
+                cd ..
+              done
             fi
           fi
 

README.md

@@ -22,6 +22,9 @@ Varisat is available using rust's package manager cargo. The command line
 solver can be installed or updated using `cargo install --force varisat-cli`.
 Cargo can be installed using [rustup](https://rustup.rs/).
 
+The command line solver is also available as a [pre-compiled binary][releases]
+for Linux and Windows.
+
 ## Documentation
 
   * [User Manual](https://jix.github.io/varisat/manual/0.2.0/)
@@ -64,3 +67,4 @@ dual licensed as above, without any additional terms or conditions.
 [crate-varisat]: https://crates.io/crates/varisat
 [crate-varisat-cli]: https://crates.io/crates/varisat-cli
 [manual-master]: https://jix.github.io/varisat/manual/master/
+[releases]: https://github.com/jix/varisat/releases

manual/src/cli/README.md

@@ -4,7 +4,12 @@ The command line solver can be installed or updated using `cargo install
 --force varisat-cli`. Cargo can be installed using
 [rustup](https://rustup.rs/).
 
+The command line solver is also available as a [pre-compiled binary][releases]
+for Linux and Windows.
+
 Varisat follows the basic conventions used by most other SAT solvers. If you've
 used a SAT solver before, you'll likely know how to use varisat. If you
 haven't, you can read the next chapter to learn how to use varisat. In any case
 make sure to check out the built in command line help using `varisat --help`.
+
+[releases]: https://github.com/jix/varisat/releases

varisat-cli/Cargo.toml

@@ -1,6 +1,8 @@
 [package]
 name = "varisat-cli"
 description = "A CDCL based SAT solver (command line solver)"
+homepage = "https://jix.one/project/varisat/"
+repository = "https://github.com/jix/varisat"
 version = "0.2.0"
 authors = ["Jannis Harder <[email protected]>"]
 license = "MIT/Apache-2.0"

varisat/Cargo.toml

@@ -1,6 +1,8 @@
 [package]
 name = "varisat"
 description = "A CDCL based SAT solver (library)"
+homepage = "https://jix.one/project/varisat/"
+repository = "https://github.com/jix/varisat"
 version = "0.2.0"
 authors = ["Jannis Harder <[email protected]>"]
 license = "MIT/Apache-2.0"