Package: chuffed-flatzinc (0.13.1-1)
Links for chuffed-flatzinc
Debian Resources:
Download Source Package chuffed:
Maintainers:
External Resources:
- Homepage [github.com]
Similar packages:
Doven årsagsoprettelse - FlatZinc-implementering
Chuffed er en moderne doven årsagsløser (lazy clause solver) designet fra bunden af med tanke på doven årsagsoprettelse. Doven årsagsoprettelse er en hybrid fremgangsmåde til begrænsningsløsning, der kombinerer funktioner for finitte domænepropagation og boolesk opfyldelse. Kombinerer nogle niveauer af fordelene for finitte domænebegrænsningsprogrammering (høj niveau-model og programmerbar søgning) med nogle af fordelene for SAT-løsere (reduceret søgning med nogood-oprettelse og effektiv autonom søgning via variable aktiviteter).
Other Packages Related to chuffed-flatzinc
|
|
|
|
-
- dep: libc6 (>= 2.34)
- GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb
-
- dep: libgcc-s1 (>= 3.5)
- GCC støttebibliotek
-
- dep: libmurmurhash2 (>= 0.2)
- Portable MurmurHash Implementation
-
- dep: libstdc++6 (>= 13.1)
- GNU Standard C++ bibliotek v3
-
- rec: minizinc
- constraint modelling language and tool chain
Download chuffed-flatzinc
Architecture | Package Size | Installed Size | Files |
---|---|---|---|
armel | 472.1 kB | 1,536.0 kB | [list of files] |