diff --git a/README.md b/README.md
index 14ce2843a..eb3421334 100644
--- a/README.md
+++ b/README.md
@@ -11,6 +11,7 @@ Inspired by [awesome-php](https://github.com/ziadoz/awesome-php).
     - [Asset Management](#asset-management)
     - [Audio](#audio)
     - [Authentication](#authentication)
+    - [Boolean Manipulation and Satisfiability](#boolean-manipulation-and-satisfiability)
     - [Build Tools](#build-tools)
     - [Caching](#caching)
     - [ChatOps Tools](#chatops-tools)
@@ -183,6 +184,12 @@ Inspired by [awesome-php](https://github.com/ziadoz/awesome-php).
     * [python-jws](https://github.com/brianloveswords/python-jws) - Implementation of JSON Web Signatures draft 02.
     * [python-jwt](https://github.com/davedoesdev/python-jwt) - Module for generating and verifying JSON Web Tokens.
 
+## Boolean Manipulation and Satisfiability
+
+*Interact with Boolean expressions, electronic designs, and solve satisfiability problems.*
+
+* [tt](http://tt.bwel.ch) - A library for working with Boolean expressions and truth tables.
+
 ## Build Tools
 
 *Compile software from source code.*