Funasp = Clingo + intensional functions
funasp extends clingo 6 with intensional functions that can be defined by the user. The major new syntax expression of fasp are assignment rules.
The following is an example of an encoding of the graph coloring problem in funasp:
color(X) := #some{r;g;b} :- country(X).
:- neighbor(C,D), color(C)=color(D).
More examples can be found in the folder examples.
Funasp installations
conda create -n clingo6 python=3.13
conda activate clingo6
conda install -c potassco/label/dev-20 -c conda-forge clingo
git clone https://github.com/krr-uno/funasp.git
cd funasp
git pull
pip install -r requirements.txt
pip install -e .
funasp examples/family.lp
1 maintainer
Metadata
1 maintainer
Release files for funasp 0.0.1.post31
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| funasp-0.0.1.post31.tar.gz | 32.5 kB | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| funasp-0.0.1.post31-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 70.2 kB
Release files / funasp-0.0.1.post31.tar.gz
| Download URL | funasp-0.0.1.post31.tar.gz |
|---|---|
| Size | 32.5 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
0c2b1f5951162b417f8ae9492990d94150de9e5f087ffdf9dc0e61c9561363e1
|
|
BLAKE2b-256 checksum How to use checksums |
a9fa1dacdf00ea68bc0366a78a884258b861bfe875ca7792d020fcffba991306
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.13.12
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Jun 18, 2026.
Transparency logRelease files / funasp-0.0.1.post31-py3-none-any.whl
| Download URL | funasp-0.0.1.post31-py3-none-any.whl |
|---|---|
| Size | 37.7 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
6cdc3a40406e681d3e0ff5520be4041a379977e6e17a896048ff5ec04214c40f
|
|
BLAKE2b-256 checksum How to use checksums |
386a29f0cfa1094cbaa7d637764d2d060b08315104c101ebd7d466e776e698e1
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.13.12
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Jun 18, 2026.
Transparency log
