Skip to content

Commit d75bad4

Browse files
authored
Update README.md
1 parent e13065c commit d75bad4

File tree

1 file changed

+8
-0
lines changed

1 file changed

+8
-0
lines changed

README.md

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -285,6 +285,14 @@ your project's classpath and calling the `Reasoner.apply` method directly.
285285
and uses third party libraries that are distributed under their own terms
286286
(see LICENSE-3RD-PARTIES file).
287287

288+
In particular, `rio` uses
289+
290+
- picosat, Copyright (c) 2006 - 2014, Armin Biere, Johannes Kepler University (http://fmv.jku.at/picosat/).
291+
- MUST (mustool), Copyright (c) 2019, Jaroslav Bendik, Masaryk University (https://github.com/jar-ben/mustool).
292+
- MiniSat (contained in MUST), Copyright (c) 2003-2006, Niklas Een, Niklas Sorensson and Copyright (c) 2007-2010 Niklas Sorensson (http://minisat.se/).
293+
294+
295+
288296
## References
289297

290298
[1] Makinson, D., van der Torre, L.W.N.: Input/Output Logics. J. Philosophical Logic 29(4), 383–408 (2000). https://doi.org/10.1023/A:1004748624537

0 commit comments

Comments
 (0)