cargo test

shnarazk · Feb 8, 2025 · aea5c00 · aea5c00
1 parent 5fab2c0
commit aea5c00
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/src/solver/build.rs b/src/solver/build.rs
@@ -30,7 +30,6 @@ pub trait SatSolverIF: Instantiate {
     ///
     /// ```
     /// use crate::splr::{*, var_vector::*};
-    /// use crate::splr::assign::VarManipulateIF;    // for s.asg.assign()
     /// use std::path::Path;
     ///
     /// let mut s = Solver::try_from(Path::new("cnfs/uf8.cnf")).expect("can't load");

diff --git a/src/solver/mod.rs b/src/solver/mod.rs
@@ -66,7 +66,7 @@ pub enum SolverEvent {
 /// The SAT solver object consisting of 6 sub modules.
 /// ```
 /// use crate::splr::*;
-/// use crate::splr::{assign::{VarManipulateIF}, state::{State, StateIF}, types::*, var_vector::VarRef};
+/// use crate::splr::{state::{State, StateIF}, types::*, var_vector::VarRef};
 /// use std::path::Path;
 ///
 /// let mut s = Solver::try_from(Path::new("cnfs/sample.cnf")).expect("can't load");