release v0.4.0

Author: chrjabs

Cargo.lock

@@ -13,13 +13,13 @@ cpu-time = "1.0.0"
 concolor-clap = "0.1.0"
 itertools = "0.14.0"
 maxpre = { version = "0.2.3", path = "./maxpre-rs", features = ["multiopt"] }
-pigeons = { version = "0.1.0", path = "./rustsat/pigeons" }
-rustsat = { version = "0.7.0", path = "./rustsat", features = [
+pigeons = { version = "0.1.1", path = "./rustsat/pigeons" }
+rustsat = { version = "0.7.1", path = "./rustsat", features = [
   "multiopt",
   "internals",
   "proof-logging",
 ] }
-rustsat-cadical = { version = "0.7.0", path = "./rustsat/cadical", features = [
+rustsat-cadical = { version = "0.7.1", path = "./rustsat/cadical", features = [
   "v2-1-3",
   "pigeons",
 ] }

Cargo.toml

@@ -2,6 +2,10 @@
 name = "cadical-veripb-tracer"
 version = "0.1.0"
 edition = "2021"
+authors = ["Christoph Jabs <christoph.jabs@helsinki.fi>"]
+license = "MIT"
+description = "VeriPB proof tracer for CaDiCaL via RustSAT"
+repository = "https://github.com/chrjabs/scuttle"
 
 [dependencies]
 cfg-if.workspace = true

cadical-veripb-tracer/Cargo.toml

@@ -2,6 +2,10 @@
 name = "scuttle-core"
 version = "0.4.0"
 edition = "2021"
+authors = ["Christoph Jabs <christoph.jabs@helsinki.fi>"]
+license = "MIT"
+description = "Core library of the Scuttle MO-MaxSAT solver"
+repository = "https://github.com/chrjabs/scuttle"
 
 [dependencies]
 anyhow.workspace = true