Description
Toolkit for developing constraint-based systems.
Toolkit for developing constraint-based systems.
6.2.0
bin/golden-spiral
bin/domino
bin/job-shop
bin/sudoku
bin/descartes-folium
bin/qcp
bin/black-hole
bin/pentominoes
bin/bin-packing
bin/minesweeper
bin/queens
bin/bibd
bin/open-shop
bin/radiotherapy
bin/nonogram
bin/bacp
bin/warehouses
bin/word-square
bin/hamming
bin/archimedean-spiral
bin/eq20
bin/golomb-ruler
bin/tsp
bin/langford-number
bin/crew
bin/golf
bin/knights
bin/partition
bin/grocery
bin/queen-armies
bin/photo
bin/steiner
bin/ind-set
bin/car-sequencing
bin/money
bin/donald
bin/sudoku-advanced
bin/cartesian-heart
bin/kakuro
bin/fzn-gecode
bin/crossword
bin/sat
bin/crowded-chess
bin/magic-sequence
bin/all-interval
bin/efpa
bin/colored-matrix
bin/schurs-lemma
bin/ortho-latin
bin/dominating-queens
bin/steel-mill
bin/magic-square
bin/multi-bin-packing
bin/sports-league
bin/alpha
bin/mzn-gecode
bin/perfect-square
bin/graph-color
aarch64-darwin
aarch64-genode
aarch64-linux
aarch64-netbsd
aarch64-none
aarch64_be-none
arm-none
armv5tel-linux
armv6l-linux
armv6l-netbsd
armv6l-none
armv7a-darwin
armv7a-linux
armv7a-netbsd
armv7l-linux
armv7l-netbsd
avr-none
i686-cygwin
i686-darwin
i686-freebsd
i686-genode
i686-linux
i686-netbsd
i686-none
i686-openbsd
i686-windows
javascript-ghcjs
loongarch64-linux
m68k-linux
m68k-netbsd
m68k-none
microblaze-linux
microblaze-none
microblazeel-linux
microblazeel-none
mips-linux
mips-none
mips64-linux
mips64-none
mips64el-linux
mipsel-linux
mipsel-netbsd
mmix-mmixware
msp430-none
or1k-none
powerpc-netbsd
powerpc-none
powerpc64-linux
powerpc64le-linux
powerpcle-none
riscv32-linux
riscv32-netbsd
riscv32-none
riscv64-linux
riscv64-netbsd
riscv64-none
rx-none
s390-linux
s390-none
s390x-linux
s390x-none
vc4-none
wasm32-wasi
wasm64-wasi
x86_64-cygwin
x86_64-darwin
x86_64-freebsd
x86_64-genode
x86_64-linux
x86_64-netbsd
x86_64-none
x86_64-openbsd
x86_64-redox
x86_64-solaris
x86_64-windows