1 files changed, 15 insertions, 0 deletions
diff --git a/libs/logic/meta/libraries.json b/libs/logic/meta/libraries.json
new file mode 100644
index 000000000..d7e4934fe
--- /dev/null
+++ b/libs/logic/meta/libraries.json
@@ -0,0 +1,15 @@
+{
+    "key": "logic/tribool",
+    "name": "Tribool",
+    "authors": [
+        "Doug Gregor"
+    ],
+    "description": "3-state boolean type library.",
+    "documentation": "/doc/html/tribool.html",
+    "category": [
+        "Miscellaneous"
+    ],
+    "maintainers": [
+        "Douglas Gregor <dgregor -at- cs.indiana.edu>"
+    ]
+}