An (adaptive) LNS framework for the for ASP systems. Currently, the system only supports solvers based on clingo.
It should work out-of-the-box in a conda env after running the following commands:
conda create -n alaspo python=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 git repository.
FAQs
ALASPO: ASP + Large-Neighborhood Search
We found that alaspo demonstrated a healthy version release cadence and project activity because the last version was released less than a year ago. It has 2 open source maintainers collaborating on the project.
Did you know?
Socket for GitHub automatically highlights issues in each pull request and monitors the health of all your open source dependencies. Discover the contents of your packages and block harmful activity before you install or update your dependencies.
Security Fundamentals
The Socket Threat Research Team uncovers how threat actors weaponize shell techniques across npm, PyPI, and Go ecosystems to maintain persistence and exfiltrate data.
Security News
At VulnCon 2025, NIST scrapped its NVD consortium plans, admitted it can't keep up with CVEs, and outlined automation efforts amid a mounting backlog.
Product
We redesigned our GitHub PR comments to deliver clear, actionable security insights without adding noise to your workflow.