.. _source:

====================
Source code of N-PAT
====================

Download
========

The source code of N-PAT is available `here <data/NPAT-v1.0-source.zip>`_. 

Compilation Instructions
========================

The compilation of N-PAT is similar to other standard C# application. 

Open the solution with you .NET IDE (e.g., MonoDevelop v7.3.3, Visual Studio for Mac) and build both NPAT and LINK. PAT assemblies are located under the ``LINK/lib/`` directory. You need to copy them in the build's output directory.  


Credits
=======

N-PAT credits the authors of the following projects.

+-----------------+---------------------------------------------+--------------------------------------------------------------+
|`PAT <https://www.comp.nus.edu.sg/~pat/>`_                     | Enhanced Simulator, Model Checker and Refinement Checker     |
+-----------------+---------------------------------------------+--------------------------------------------------------------+
|`Sprache <https://github.com/sprache/Sprache>`_                | Library for constructing parsers                             |
+-----------------+---------------------------------------------+--------------------------------------------------------------+
|`ManyConsole <https://github.com/fschwiet/ManyConsole>`_       | Llibrary for processing command-line parameters              |
+-----------------+---------------------------------------------+--------------------------------------------------------------+
|`MonoDevelop <https://github.com/mono/monodevelop>`_           | Cross platform .NET IDE                                      |
+-----------------+---------------------------------------------+--------------------------------------------------------------+
|`Mono <https://github.com/fschwiet/ManyConsole>`_              | Open source ECMA CLI, C# and .NET implementation             |
+-----------------+---------------------------------------------+-----------------+--------------------------------------------+