- Potsdam, Germany
- https://www.luehne.de/
- Joined on
2017-11-03 -
-
Translate answer set programs to first-order theorem prover language (local mirror of https://github.com/potassco/anthem for development purposes)
Updated