From df287e155e202cb241905ac3d555bc0fd013902d Mon Sep 17 00:00:00 2001
From: "Jip J. Dekker" <jip@dekker.one>
Date: Fri, 9 Feb 2024 14:54:21 +0100
Subject: [PATCH] Make VarRange visible for other libraries from the solvers
 module

---
 crates/pindakaas/src/solver.rs | 17 +++++++++--------
 1 file changed, 9 insertions(+), 8 deletions(-)

diff --git a/crates/pindakaas/src/solver.rs b/crates/pindakaas/src/solver.rs
index fb9478cef..b84574b51 100644
--- a/crates/pindakaas/src/solver.rs
+++ b/crates/pindakaas/src/solver.rs
@@ -1,11 +1,3 @@
-#[cfg(feature = "ipasir-up")]
-use std::any::Any;
-use std::num::NonZeroI32;
-
-use crate::{helpers::VarRange, ClauseDatabase, Lit, Valuation, Var};
-
-pub mod libloading;
-
 #[cfg(feature = "cadical")]
 pub mod cadical;
 #[cfg(feature = "intel-sat")]
@@ -15,6 +7,15 @@ pub mod kissat;
 #[cfg(feature = "splr")]
 pub mod splr;
 
+pub mod libloading;
+
+#[cfg(feature = "ipasir-up")]
+use std::any::Any;
+use std::num::NonZeroI32;
+
+pub use crate::helpers::VarRange;
+use crate::{ClauseDatabase, Lit, Valuation, Var};
+
 pub trait Solver: ClauseDatabase {
 	/// Return the name and the version of SAT solver.
 	fn signature(&self) -> &str;