From a30073110e03c9eba5b984174f8b01390de5a11e Mon Sep 17 00:00:00 2001
From: Diego Palma <dpalmasan@fb.com>
Date: Sun, 30 Jun 2024 19:13:17 -0700
Subject: [PATCH] Add install instructions to README (#48)

---
 README.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/README.md b/README.md
index 7270ca6..733b888 100644
--- a/README.md
+++ b/README.md
@@ -12,6 +12,12 @@
 
 `Pylogic` is a library to integrate logic programming to your python programs. Currently it supports propositional logic, and a subset of first order logic (Horn Clauses). The API is supposed to be expressive as `python` is as a language.
 
+## Install
+
+```
+pip install python-logic
+```
+
 ### Examples
 
 ```python