ALASPO: ASP + Large-Neighborhood Search
Project description
ALASPO
An (adaptive) LNS framework for the for ASP systems. Currently, the system only supports solvers based on clingo.
The folder src/alaspo
contains the LNS implementation as well as simple problem-independent relaxation operators and adaption strategies.
Installation
It should work out-of-the-box in a conda env after running the following commands:
conda create env -n alaspo -py=3.9
conda activate alaspo
conda install -c potassco clingo clingo-dl clingcon
python -m pip install alaspo
The command-line options of the problem-independent LNS can be shown as follows:
alaspo -h
Examples for portfolio config files can be found in the examples
folder.
Development
You can also clone the repository an run alaspo without installing the module:
git clone https://gitlab.tuwien.ac.at/kbs/BAI/alaspo.git
cd alaspo/src
python -m alaspo -h
Licencse
This software is distributed under the MIT License.
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.