Downloading the nomore++ System
nomore++ is distributed under the GNU General Public Licence.
- Download the sources for the nomore++ v1.5 system. The package contains the nomore library and a corresponding user interface. You can also download the library and user interface of the nomore++ v1.5 system.
- Download lparse for grounding (dealing with variables).
- See the online documentation created by doxygen.
The current nomore++ version handles normal rules generated by the lparse system. Weight constraints and other extended rules are not supported.
Installation
After downloading the source package of nomore++ you unpack the compressed tar file. Using the corresponding file name for the library and user interface.
> tar xzvf nomore.tar.gz
> cd nomore
> ./configure
> make && make install
> make test
Optional (only for library): The source code is documented in the doxygen style. If you have installed the doxygen tool you can create the source code documentation using the command:> make docu
Test the installation by typing the following command.> nomore --help
If the nomore help is printed the nomore++ system is successfully installed.Usage
The nomore++ is useable like the smodels system. Assume that the file> lparse program.lp | nomore 0
The argument 0 tells the nomore++ system to compute all answer sets.Older versions
| Version | Package | Library | User Interface | Changelog |
|---|---|---|---|---|
| nomore++ 1.5 | nomore-1.5.0 | libnomore-1.5.0 | nomore-ui-1.5.0 | show |
| nomore++ 1.4 (only 32bit machines) | nomore-1.4.0 | libnomore-1.4.0 | nomore-ui-1.4.0 | show |
| nomore++ 1.3 | nomore-1.3.0 | libnomore-1.3.0 | nomore-ui-1.3.0 | show |
| nomore++ 1.2 | nomore-1.2.0 | libnomore-1.2.0 | nomore-ui-1.2.0 | show |
| nomore++ 1.1 | nomore-1.1.0 | libnomore-1.1.0 | nomore-ui-1.1.0 | show |
| nomore++ 1.0 | nomore-1.0.0 | n/a | n/a | n/a |