| Did you know ... | Search Documentation: |
 | Packs (add-ons) for SWI-Prolog |
- HOME
- DOWNLOAD
- DOCUMENTATION
- TUTORIALS
- Beginner▶
- Advanced▶
- Web applications▶
- Semantic web▶
- Graphics▶
- Machine learning▶
- External collections▶
- For packagers▶
- COMMUNITY
- COMMERCIAL
- WIKI
Package "modeling"
| Title: | Mathematical modeling with constraints on subscripted variables. |
|---|---|
| Rating: | Not rated. Create the first rating! |
| Latest version: | 1.1.1 |
| SHA1 sum: | 4ef5769b89dd3d1ad2bca1e77489e1ae1a78847b |
| Author: | Francois Fages <Francois.Fages@inria.fr> |
| Home page: | https://lifeware.inria.fr/wiki/Main/Software#modeling |
| Download URL: | https://lifeware.inria.fr/~fages/modeling-1.1.1.tgz |
Reviews
No reviews. Create the first review!.
Details by download location
| Version | SHA1 | #Downloads | URL |
|---|---|---|---|
| 1.0.0 | 3869cad3554891541a85ce628a75c8a85b3bf477 | 2 | https://lifeware.inria.fr/~fages/modeling-1.0.0.tgz |
| 1.0.1 | e63722df5e532906cc544a7b58eb4dac57f050d0 | 4 | https://lifeware.inria.fr/~fages/modeling-1.0.1.tgz |
| 1.1.0 | cd9474ded3d947ac9419668c7f8b075098dddfdc | 6 | https://lifeware.inria.fr/~fages/modeling-1.1.0.tgz |
| 1.1.1 | 4ef5769b89dd3d1ad2bca1e77489e1ae1a78847b | 2 | https://lifeware.inria.fr/~fages/modeling-1.1.1.tgz |
This package provides arrays with clpfd-clpr constraints on subscripted variables
Simple usage
Contents of pack "modeling"
Pack contains 16 files holding a total of 119K bytes.
- .DS_Store(8.0K bytes)
- ._.DS_Store(120 bytes)
- ._README(384 bytes)
- ._README.md(176 bytes)
- COPYING(34.3K bytes)
- COPYING.LESSER(7.5K bytes)
- README(102 bytes)
- README.md(11 bytes)
- pack.pl(293 bytes)
- prolog
- .DS_Store(6.0K bytes)
- ._.DS_Store(120 bytes)
- arrays.pl(7.8K bytes)
- clp.pl(26.3K bytes)
- examplesFLOPS2024.pl(10.3K bytes)
- modeling.pl(6.1K bytes)
- quantifiers.pl(11.9K bytes)