diff --git a/default/rules/default.py b/default/rules/default.py
index 4ffc472..79b317b 100644
--- a/default/rules/default.py
+++ b/default/rules/default.py
@@ -41,6 +41,7 @@
         'utils',
         'pyhdl',
         'cocotb',
+        'ric3',
     ],
     branding = 'OSS CAD Suite',
     readme = 'README',
@@ -67,6 +68,7 @@
         'z3',
         'eqy',
         'gtkwave',
+        'ric3',
     ],
     branding ='OSS CAD Formal',
     readme = 'README',
diff --git a/default/rules/solvers.py b/default/rules/solvers.py
index 141c41c..e73435b 100644
--- a/default/rules/solvers.py
+++ b/default/rules/solvers.py
@@ -193,6 +193,23 @@
 	dependencies = [ 'smt-switch', 'cvc5', 'boolector' ],
 )
 
+# rIC3
+
+SourceLocation(
+	name = 'ric3',
+	vcs = 'git',
+	location = 'https://github.com/gipsyh/rIC3',
+	revision = 'v1.3.6',
+	license_file = 'LICENSE',
+)
+
+Target(
+	name = 'ric3',
+	sources = [ 'ric3' ],
+	dependencies = [ ],
+)
+
+
 # suprove
 
 SourceLocation(
diff --git a/default/scripts/ric3.sh b/default/scripts/ric3.sh
new file mode 100644
index 0000000..56a44e6
--- /dev/null
+++ b/default/scripts/ric3.sh
@@ -0,0 +1,2 @@
+cd ric3
+cargo install --no-track --path . --root ${OUTPUT_DIR}${INSTALL_PREFIX} --target=${CARGO_TARGET}