Merge pull request #7 from CodingThrust/feat/remaining-reductions

feat: Implement remaining reduction rules

Author: GiggleLiu

src/lib.rs

@@ -85,7 +85,7 @@ pub mod prelude {
     pub use crate::models::optimization::{
         Comparison, LinearConstraint, ObjectiveSense, SpinGlass, VarBounds, ILP, QUBO,
     };
-    pub use crate::models::satisfiability::{CNFClause, Satisfiability};
+    pub use crate::models::satisfiability::{CNFClause, KSatisfiability, Satisfiability};
     pub use crate::models::set::{SetCovering, SetPacking};
     pub use crate::models::specialized::{BicliqueCover, CircuitSAT, Factoring, PaintShop, BMF};
     pub use crate::registry::{