Add note regarding web-based docs.

README.md

@@ -35,6 +35,9 @@ The following instructions describe the local installation of the application an
 
 For a summary of all technologies and detailed project structure, see `project-docs/ARCHITECTURE.md`. The directory `project-docs` also contains other documents relevant to the design/development.
 
+We also provide web-based Rust documentation (including internal modules), currently hosted on [these GitHub pages](https://ondrej33.github.io/biodivine_sketchbook/). Instructions to generate Rust documentation locally are given below.
+
+
 ### Installation of dependencies
 
 First, make sure you have Rust and NPM installed. For Rust, we recommend following the instructions on [rustlang.org](https://www.rust-lang.org/learn/get-started). For instructions on NPM and Node installation, feel free to check [their website](https://docs.npmjs.com/downloading-and-installing-node-js-and-npm).

src-tauri/src/inference/inference_solver.rs

@@ -457,7 +457,6 @@ impl InferenceSolver {
     /// Evaluate previously collected dynamic properties, and restrict the unit set of the
     /// graph to the set of valid colors.
     ///
-    ///
     /// If we discover that sketch is unsat early, skip the rest.
     fn eval_dynamic(&mut self) -> Result<(), String> {
         for dyn_property in self.dyn_props()?.clone() {