Update project's name

rivika.cabal → fact.cabal

@@ -6,11 +6,11 @@ cabal-version: 1.12
 --
 -- hash: 38629f5b144697a3d779463747106f533252dca73ca44e2fe1e3338225eb8e66
 
-name:           rivika
+name:           fact
 version:        0.1.0.0
-description:    Please see the README on GitHub at <https://github.com/FP-Modeling/rivika/blob/main/README.md>
-homepage:       https://github.com/git@github.com:FP-Modeling/rivika.git#readme
-bug-reports:    https://github.com/git@github.com:FP-Modeling/rivika.git/issues
+description:    Please see the README on GitHub at <https://github.com/FP-Modeling/fact/blob/main/README.md>
+homepage:       https://github.com/git@github.com:FP-Modeling/fact.git#readme
+bug-reports:    https://github.com/git@github.com:FP-Modeling/fact.git/issues
 author:         Eduardo Lemos Rocha
 maintainer:     dudulr10@gmail.com
 copyright:      2022 EduardoLR10
@@ -23,7 +23,7 @@ extra-source-files:
 
 source-repository head
   type: git
-  location: https://github.com/git@github.com:FP-Modeling/rivika.git
+  location: https://github.com/git@github.com:FP-Modeling/fact.git
 
 library
   exposed-modules:
@@ -44,7 +44,7 @@ library
       Solver
       Types
   other-modules:
-      Paths_rivika
+      Paths_fact
   hs-source-dirs:
       src
   build-depends:
@@ -56,10 +56,10 @@ library
     , mtl
   default-language: Haskell2010
 
-executable rivika-exe
+executable fact-exe
   main-is: Main.hs
   other-modules:
-      Paths_rivika
+      Paths_fact
   hs-source-dirs:
       app
   ghc-options: -O2
@@ -70,5 +70,5 @@ executable rivika-exe
     , criterion-measurement
     , monadlist
     , mtl
-    , rivika    
+    , fact    
   default-language: Haskell2010