Did you know ... | Search Documentation: |
Packs (add-ons) for SWI-Prolog |
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 |
No reviews. Create the first review!.
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
Pack contains 16 files holding a total of 119K bytes.