sealion.at - Integrated Development Environment for Answer-Set Programming
SeaLion is an Integrated Development Environment (IDE) for Answer-Set Programming (ASP) based on Eclipse. It supports Gringo / Clasp, DLV, and other solvers.
Keywords:
ide, eclipse, integrated development environment, sealion, logic programming, answer set programming, answer-set programming, answer sets, stable models
| Created: | 1970-01-01 |
| Expires: | 1970-01-01 |
| Owner: | Joerg PUEHRER (Technische Universitaet Wien, Inst. F. Informationssysteme) |
| Hosting company: | CloudFlare, Inc. |
| Registrar: | NIC-AT |
| IPs: | 204.68.111.100 |
| DNS: |
ns1.webmachine.at ns2.webmachine.at |
