Commit f7075eea authored by Arman Sobhi's avatar Arman Sobhi

Very minor change to README

parent eacfd0ef
......@@ -36,7 +36,7 @@ main_writer.py -Python script that generates main.lp
req_writer.py -Python script that generates req.lp file
4. Instalation
4. Dependencies
This system uses s(ASP), a groundless implementation of answer set programming which requires SWI-Prolog. s(ASP) and its instalation instructions can be downloaded from http://sourceforge.net/projects/sasp-system/
This system also uses Python 3.
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment