From 9678566b63fdeda71f873ec7aa5c2cdaabfc4225 Mon Sep 17 00:00:00 2001
From: Dominik Schreiber <mail@dominikschreiber.de>
Date: Fri, 28 May 2021 18:09:28 +0200
Subject: [PATCH] Update README.md

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

diff --git a/README.md b/README.md
index bf02019..2895219 100644
--- a/README.md
+++ b/README.md
@@ -10,6 +10,9 @@ make MALLOB_BASE_DIRECTORY='"path/to/my/mallob"' MALLOB_API_INDEX='"5"'
 ```
 This would let the interface use `path/to/my/mallob/.api/jobs.5/` as the API directory.
 
+Now you can link IPASIR applications with the library file `libipasirmallob.a` to obtain an application which uses Mallob as a backend SAT solver.
+For more information on linking IPASIR applications with IPASIR solvers, see [the IPASIR Github repository](https://github.com/biotomas/ipasir).
+
 ## Usage
 
 Mallob must run in the background in order to use this interface.