From 3efe6522b20e34716ce52670b53c8a12f10e8ab0 Mon Sep 17 00:00:00 2001
From: Stefan Karpinski <stefan@karpinski.org>
Date: Sat, 30 Dec 2023 17:51:47 +0000
Subject: [PATCH] exports: only export `resolve`

---
 src/Resolver.jl |  6 +-----
 test/setup.jl   | 14 +++++++++++---
 2 files changed, 12 insertions(+), 8 deletions(-)

diff --git a/src/Resolver.jl b/src/Resolver.jl
index 8e8e470..e91f8a9 100644
--- a/src/Resolver.jl
+++ b/src/Resolver.jl
@@ -1,10 +1,6 @@
 module Resolver
 
-export registry_provider, resolve
-export DepsProvider, PkgData, PkgInfo, SAT, PicoSAT
-export
-    pkg_info, finalize, sat_add, sat_assume, is_satisfiable, is_unsatisfiable,
-    extract_solution!, optimize_solution!, with_temp_clauses
+export resolve
 
 include("DepsProvider.jl")
 include("PkgInfo.jl")
diff --git a/test/setup.jl b/test/setup.jl
index 45d1d4b..832146e 100644
--- a/test/setup.jl
+++ b/test/setup.jl
@@ -5,11 +5,18 @@ using Test
 @isdefined(includet) ? includet("tiny_data.jl") : include("tiny_data.jl")
 @isdefined(includet) ? includet("registry.jl")  : include("registry.jl")
 
+module TestResolver
+
+using Resolver: resolve, DepsProvider, PkgData, PkgInfo, pkg_data, pkg_info
+using Test
+
+export test_resolver
+
 function test_resolver(
     deps :: DepsProvider{P},
     reqs :: AbstractVector{P},
 ) where {P}
-    data = Resolver.pkg_data(deps, reqs)
+    data = pkg_data(deps, reqs)
     test_resolver(data, reqs)
 end
 
@@ -76,7 +83,7 @@ function test_resolver(
         # @info "optimality testing full data"
         info = data # type unstable but 🤷
     else
-        info = Resolver.pkg_info(data, reqs)
+        info = pkg_info(data, reqs)
         Π = prod(float(length(ip.versions)+1) for ip in values(info))
         if Π > Π⁺
             # @info "no optimality testing"
@@ -275,5 +282,6 @@ function each_potential_solution(
     gen_solutions!()
 end
 
-# helpers
+end # module
 
+using .TestResolver