Disable stdout printing from within glucose and minisat

glucose/Cargo.toml

@@ -15,6 +15,8 @@ build = "build.rs"
 
 [features]
 debug = []
+quiet = []
+default = ["quiet"]
 
 [dependencies]
 cpu-time = "1.0.0"

glucose/README.md

@@ -12,6 +12,7 @@ The Glucose SAT solver to be used with the [RustSAT](https://github.com/chrjabs/
 ## Features
 
 - `debug`: if this feature is enables, the C++ library will be built with debug and check functionality if the Rust project is built in debug mode
+- `quiet`: disable all glucose-internal printing to stdout during solving (on by default)
 
 ## Glucose Version
 

glucose/build.rs

@@ -11,7 +11,7 @@ fn main() {
     build(
         "https://github.com/chrjabs/glucose4.git",
         "main",
-        "7446ea43cd7b0beb8778de00fc373849983ad067",
+        "2c41a6d2e9c8db7b5bdebc8dc65760d01bc938e9",
     );
 
     let out_dir = env::var("OUT_DIR").unwrap();
@@ -35,9 +35,10 @@ fn build(repo: &str, branch: &str, commit: &str) {
         let mut conf = cmake::Config::new(glucose_dir);
         conf.define("BUILD_SYRUP", "OFF")
             .define("BUILD_EXECUTABLES", "OFF");
-        if cfg!(not(feature = "debug")) {
-            conf.profile("Release");
-        }
+        #[cfg(feature = "quiet")]
+        conf.define("QUIET", "ON");
+        #[cfg(not(feature = "debug"))]
+        conf.profile("Release");
         conf.build();
     };
 

glucose/src/lib.rs

@@ -5,6 +5,7 @@
 //! ## Features
 //!
 //! - `debug`: if this feature is enables, the C++ library will be built with debug and check functionality if the Rust project is built in debug mode
+//! - `quiet`: disable all glucose-internal printing to stdout during solving (on by default)
 //!
 //! ## Glucose Version
 //!

minisat/Cargo.toml

@@ -15,6 +15,8 @@ build = "build.rs"
 
 [features]
 debug = []
+quiet = []
+default = ["quiet"]
 
 [dependencies]
 cpu-time = "1.0.0"

minisat/README.md

@@ -12,6 +12,7 @@ The Minisat SAT solver to be used with the [RustSAT](https://github.com/chrjabs/
 ## Features
 
 - `debug`: if this feature is enables, the C++ library will be built with debug and check functionality if the Rust project is built in debug mode
+- `quiet`: disable all glucose-internal printing to stdout during solving (on by default)
 
 ## Minisat Version
 

minisat/build.rs

@@ -11,7 +11,7 @@ fn main() {
     build(
         "https://github.com/chrjabs/minisat.git",
         "master",
-        "809d350ff282e695014e96a2afd3625196f58dff",
+        "8237c54e97272d16531e785dd8031c27c2360904",
     );
 
     let out_dir = env::var("OUT_DIR").unwrap();
@@ -34,9 +34,10 @@ fn build(repo: &str, branch: &str, commit: &str) {
     {
         let mut conf = cmake::Config::new(minisat_dir);
         conf.define("BUILD_BINARIES", "OFF");
-        if cfg!(not(feature = "debug")) {
-            conf.profile("Release");
-        }
+        #[cfg(feature = "quiet")]
+        conf.define("QUIET", "ON");
+        #[cfg(not(feature = "debug"))]
+        conf.profile("Release");
         conf.build();
     };
 

minisat/src/lib.rs

@@ -5,6 +5,7 @@
 //! ## Features
 //!
 //! - `debug`: if this feature is enables, the C++ library will be built with debug and check functionality if the Rust project is built in debug mode
+//! - `quiet`: disable all glucose-internal printing to stdout during solving (on by default)
 //!
 //! ## Minisat Version
 //!