We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent eea0b2a commit 5be42f0Copy full SHA for 5be42f0
src/twosat.rs
@@ -48,6 +48,7 @@ use crate::internal_scc;
48
/// assert!(twosat.satisfiable());
49
/// assert_eq!(twosat.answer(), [false, true, true]);
50
/// ```
51
+#[derive(Clone, Debug)]
52
pub struct TwoSat {
53
n: usize,
54
scc: internal_scc::SccGraph,
0 commit comments