diff --git a/components/hooks/ProblemProvider/Solver.js b/components/hooks/ProblemProvider/Solver.js
index 925ac72..8ec4fff 100644
--- a/components/hooks/ProblemProvider/Solver.js
+++ b/components/hooks/ProblemProvider/Solver.js
@@ -14,13 +14,7 @@ export function useSolver(url, problemName, problemType, problemNameMap, problem
 }
 
 export function useSolverInfo(url, solver) {
-  // NOTE - Caleb - the following is a temporary solution to allow sat3 to be solved using the clique solver
-  // remove first if once this functionality is added for all problems, the false expression was the original
-  // functionality
-  return useGenericInfo(
-    url,
-    solver === "CliqueBruteForce - via SipserReduceToCliqueStandard" ? "CliqueBruteForce" : solver
-  );
+  return useGenericInfo(url, solver);
 }
 
 function useSolvedInstance(problemInstance, chosenSolver) {
diff --git a/components/pageblocks/SolveRowReact.js b/components/pageblocks/SolveRowReact.js
index d4c6547..d525e31 100644
--- a/components/pageblocks/SolveRowReact.js
+++ b/components/pageblocks/SolveRowReact.js
@@ -14,7 +14,7 @@ import "bootstrap/dist/css/bootstrap.min.css";
 import { Button } from "@mui/material";
 import { Download as DownloadIcon } from '@mui/icons-material';
 
-import { requestSolvedInstanceTemporarySat3CliqueSolver } from "../redux";
+import { requestSolvedInstance } from "../redux";
 import PopoverTooltipClick from "../widgets/PopoverTooltipClick";
 import { useSolverInfo } from "../hooks/ProblemProvider";
 import ProblemSection from "../widgets/ProblemSection";
@@ -48,7 +48,7 @@ export default function SolveRowReact({
   async function handleSolve() {
     setSolvedInstance(
       chosenSolver && problemInstance
-        ? (await requestSolvedInstanceTemporarySat3CliqueSolver(url, chosenSolver, problemInstance)) ?? ""
+        ? (await requestSolvedInstance(url, chosenSolver, problemInstance)) ?? ""
         : ""
     );
   }
diff --git a/components/redux/index.js b/components/redux/index.js
index f1f3139..5a2d946 100644
--- a/components/redux/index.js
+++ b/components/redux/index.js
@@ -385,61 +385,6 @@ export async function requestSolvedInstance(url, solver, instance) {
   );
 }
 
-/**
- * Temporary solution to allow solving 3 SAT with a Clique solver.
- * All calls to this function should eventually be replace with `requestSolvedInstance`.
- * A verbose name was purposefully chosen as a reminder to fix this.
- * @returns the solved `instance` from the specified `solver`.
- * @returns `undefined` on failure and logs the error.
- */
-export async function requestSolvedInstanceTemporarySat3CliqueSolver(url, solver, instance) {
-  // NOTE - Caleb - the following is a temporary solution to allow sat3 to be solved using the clique solver
-  // remove first if once this functionality is added for all problems, the else code block was the original
-  // functionality
-  if (solver == "CliqueBruteForce - via SipserReduceToCliqueStandard") {
-    const reduction = await requestReducedInstance(url, "SipserReduceToCliqueStandard", instance);
-    if (!reduction) {
-      return undefined;
-    }
-
-    const solution = await requestSolvedInstance(url, "CliqueBruteForce", reduction.reductionTo.instance);
-    if (!solution) {
-      return undefined;
-    }
-
-    const mappedSolution = await fetchPostJson(
-      `${url}ProblemProvider/mapSolution?reduction=SipserReduceToSAT3&solution=${encodeURIComponent(solution)}`,
-      reduction.reductionTo.instance,
-      () => "TRANSITIVE SOLVED REQUEST FAILED"
-    );
-
-    return mappedSolution;
-  } else {
-    return await requestSolvedInstance(url, solver, instance);
-  }
-}
-
-/**
- * @returns the solved graph visualization of the problem instance.
- * @returns `undefined` on failure and logs the error.
- */
-export async function requestSolvedVisualization(url, problem, instance, solution) {
-  // TODO: convert to POST request for problem instance
-  var preparedSolution = solution.replaceAll("&", "%26");
-  var preparedInstance = instance.replaceAll("&", "%26");
-  if (problem == "SipserReduceToCliqueStandard") {
-    return await fetchJson(
-      `${url}${problem}/solvedVisualization?problemInstance=${preparedInstance}&solution=${preparedSolution}`,
-      () => `${problem} VISUALIZE REQUEST FAILED`
-    );
-  } else {
-    return await fetchJson(
-      `${url}${problem}Generic/solvedVisualization?problemInstance=${preparedInstance}&solution=${preparedSolution}`,
-      () => `${problem} VISUALIZE REQUEST FAILED`
-    );
-  }
-}
-
 /**
  * @returns the `steps` from the specified `solver`.
  * @returns `undefined` on failure and logs the error.