diff --git a/cadical/Cargo.toml b/cadical/Cargo.toml index 442e9964..96818518 100644 --- a/cadical/Cargo.toml +++ b/cadical/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-cadical" -version = "0.1.0" +version = "0.1.1" edition = "2021" authors = ["Christoph Jabs "] license = "MIT" diff --git a/glucose/Cargo.toml b/glucose/Cargo.toml index bec2c676..ee61ce38 100644 --- a/glucose/Cargo.toml +++ b/glucose/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-glucose" -version = "0.1.0" +version = "0.1.1" edition = "2021" authors = ["Christoph Jabs "] license = "MIT" diff --git a/kissat/Cargo.toml b/kissat/Cargo.toml index ad447646..31f8c106 100644 --- a/kissat/Cargo.toml +++ b/kissat/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-kissat" -version = "0.1.0" +version = "0.1.1" edition = "2021" authors = ["Christoph Jabs "] license = "MIT" diff --git a/minisat/Cargo.toml b/minisat/Cargo.toml index 2e8adbf5..8f15d55c 100644 --- a/minisat/Cargo.toml +++ b/minisat/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-minisat" -version = "0.1.0" +version = "0.1.1" edition = "2021" authors = ["Christoph Jabs "] license = "MIT" diff --git a/rustsat/Cargo.toml b/rustsat/Cargo.toml index e11eacb4..50cd2eab 100644 --- a/rustsat/Cargo.toml +++ b/rustsat/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat" -version = "0.2.0" +version = "0.2.1" edition = "2021" authors = ["Christoph Jabs "] license = "MIT"