split MRSolver.hs into multiple files

GaloisInc · Feb 22, 2022 · bf442c7 · bf442c7
1 parent 70f5197
commit bf442c7
Show file tree

Hide file tree

Showing 6 changed files with 2,015 additions and 1,897 deletions.
diff --git a/saw-script.cabal b/saw-script.cabal
@@ -159,6 +159,10 @@ library
     SAWScript.Prover.Util
     SAWScript.Prover.SBV
     SAWScript.Prover.MRSolver
+    SAWScript.Prover.MRSolver.Monad
+    SAWScript.Prover.MRSolver.SMT
+    SAWScript.Prover.MRSolver.Solver
+    SAWScript.Prover.MRSolver.Term
     SAWScript.Prover.RME
     SAWScript.Prover.ABC
     SAWScript.Prover.What4