diff --git a/Cargo.toml b/Cargo.toml index faeb635..f724140 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -18,7 +18,7 @@ num_enum = "0.7" mio = "0.8" [dependencies.satrs] -version = "0.2.0-rc.1" +version = "0.2.0-rc.3" # git = "https://egit.irs.uni-stuttgart.de/rust/sat-rs.git" # branch = "main" features = ["test_util"]