release

Author: chrjabs

Cargo.toml

@@ -12,7 +12,7 @@ readme = "README.md"
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
-rustsat = { version = "0.4", path = "../rustsat/rustsat", features = ["multiopt", "internals"] }
+rustsat = { version = "0.4.3", path = "../rustsat/rustsat", features = ["multiopt", "internals"] }
 rustsat-cadical = { optional = true, version = "0.2", path = "../rustsat/cadical", features = ["v1-7-2"] }
 maxpre = { version = "0.2", path = "../maxpre-rs", optional = true, features = ["multiopt"] }
 cpu-time = { optional = true, version = "1.0.0" }

proc/Cargo.toml

@@ -5,7 +5,7 @@ license = "MIT"
 description = "Procedural macros for scuttle. This crate is not intended to be used outside of scuttle."
 keywords = ["solver", "multi-objective", "maxsat"]
 repository = "https://github.com/chrjabs/scuttle"
-version = "0.1.0"
+version = "0.1.1"
 edition = "2021"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html