File List

Here is a list of all files with brief descriptions:

[detail level 12345]

► examples
all-interval.cpp
alpha.cpp
archimedean-spiral.cpp
bacp.cpp
bibd.cpp
bin-packing.cpp
black-hole.cpp
car-sequencing.cpp
cartesian-heart.cpp
colored-matrix.cpp
crew.cpp
crossword.cpp
crowded-chess.cpp
descartes-folium.cpp
dominating-queens.cpp
domino.cpp
donald.cpp
efpa.cpp
eq20.cpp
golden-spiral.cpp
golf.cpp
golomb-ruler.cpp
graph-color.cpp
grocery.cpp
hamming.cpp
ind-set.cpp
kakuro.cpp
knights.cpp
langford-number.cpp
magic-sequence.cpp
magic-square.cpp
minesweeper.cpp
money.cpp
multi-bin-packing.cpp
nonogram.cpp
open-shop.cpp
ortho-latin.cpp
partition.cpp
pentominoes.cpp
perfect-square.cpp
photo.cpp
qcp.cpp
queen-armies.cpp
queens.cpp
radiotherapy.cpp
sat.cpp
schurs-lemma.cpp
scowl.hpp
sports-league.cpp
steel-mill.cpp
steiner.cpp
sudoku.cpp
tsp.cpp
warehouses.cpp
word-square.cpp
► gecode
► driver
options.cpp
options.hpp
script.cpp
script.hpp
► flatzinc
ast.hh
conexpr.hh
flatzinc.cpp
option.hh
parser.hh
plugin.hh
registry.cpp
registry.hh
symboltable.hh
varspec.hh
► float
► arithmetic
abs.hpp
div.hpp
min-max.hpp
mult.hpp
pow-nroot.hpp
sqr-sqrt.hpp
► bool
ite.hpp
► branch
action.cpp
action.hpp
afc.hpp
assign.hpp
chb.cpp
chb.hpp
merit.hpp
traits.hpp
val-commit.hpp
val-sel-commit.cpp
val-sel.hpp
val.hpp
var.hpp
view-sel.cpp
► channel
channel.hpp
► linear
nary.hpp
post.cpp
► rel
eq.hpp
lq-le.hpp
nq.hpp
► trace
delta.hpp
trace-view.hpp
tracer.cpp
traits.hpp
► transcendental
exp-log.hpp
► trigonometric
asinacos.hpp
sincos.hpp
tanatan.hpp
► var
float.cpp
float.hpp
print.hpp
► var-imp
delta.hpp
float.cpp
float.hpp
► view
float.hpp
minus.hpp
offset.hpp
print.hpp
rel-test.hpp
scale.hpp
arithmetic.cpp
arithmetic.hh
array-traits.hpp
array.cpp
array.hpp
bool.cpp
bool.hh
branch.cpp
branch.hh
channel.cpp
channel.hh
channel.hpp
dom.cpp
exception.cpp
exception.hpp
exec.cpp
limits.hpp
linear.cpp
linear.hh
nextafter.hpp
num.hpp
rel.cpp
rel.hh
relax.cpp
rounding.cpp
rounding.hpp
trace.cpp
trace.hpp
transcendental.cpp
transcendental.hh
trigonometric.cpp
trigonometric.hh
val.hpp
var-imp.hpp
view.hpp
► gist
drawingcursor.cpp
drawingcursor.hh
drawingcursor.hpp
gecodelogo.cpp
gecodelogo.hh
gist.cpp
gist.hpp
layoutcursor.hh
layoutcursor.hpp
mainwindow.cpp
mainwindow.hh
node.cpp
node.hh
node.hpp
nodecursor.hh
nodecursor.hpp
nodestats.cpp
nodestats.hh
nodevisitor.hh
nodevisitor.hpp
nodewidget.cpp
nodewidget.hh
preferences.cpp
preferences.hh
qtgist.cpp
qtgist.hh
spacenode.cpp
spacenode.hh
spacenode.hpp
stopbrancher.cpp
stopbrancher.hh
textoutput.cpp
textoutput.hh
treecanvas.cpp
treecanvas.hh
visualnode.cpp
visualnode.hh
visualnode.hpp
zoomToFitIcon.hpp
► int
► arithmetic
abs.hpp
argmax.hpp
divmod.hpp
max.hpp
mult.cpp
mult.hpp
nroot.hpp
pow-ops.hpp
pow.hpp
► bin-packing
conflict-graph.cpp
conflict-graph.hpp
propagate.cpp
propagate.hpp
► bool
base.hpp
clause.hpp
eq.hpp
eqv.cpp
eqv.hpp
ite.hpp
lq.hpp
or.hpp
► branch
action.cpp
action.hpp
afc.hpp
assign.hpp
chb.cpp
chb.hpp
merit.hpp
ngl.hpp
traits.hpp
val-commit.hpp
val-sel-commit.cpp
val-sel.hpp
val.hpp
var.hpp
view-sel.cpp
view-values.cpp
view-values.hpp
► channel
base.hpp
dom.hpp
link-multi.cpp
link-multi.hpp
link-single.cpp
link-single.hpp
val.hpp
► circuit
base.hpp
dom.hpp
val.hpp
► count
int-base.hpp
int-eq.hpp
int-gq.hpp
int-lq.hpp
rel.hpp
view-base.hpp
view-eq.hpp
view-gq.hpp
view-lq.hpp
► cumulative
edge-finding.hpp
limits.hpp
man-prop.hpp
opt-prop.hpp
overload.hpp
post.hpp
subsumption.hpp
task-view.hpp
task.hpp
time-tabling.hpp
tree.hpp
► cumulatives
val.hpp
► distinct
bnd.hpp
dom-ctrl.hpp
dom.hpp
eqite.cpp
eqite.hpp
graph.hpp
ter-dom.hpp
val.hpp
► dom
range.hpp
set.hpp
► element
int.hpp
pair.cpp
pair.hpp
view.hpp
► exec
when.cpp
when.hpp
► extensional
base.hpp
basic.hpp
dfa.cpp
dfa.hpp
incremental.hpp
layered-graph.hpp
tuple-set.cpp
tuple-set.hpp
► gcc
bnd-sup.hpp
bnd.hpp
dom-sup.hpp
dom.hpp
post.hpp
val.hpp
view.hpp
► ldsb
brancher.hpp
sym-imp.cpp
sym-imp.hpp
sym-obj.cpp
► linear
bool-int.hpp
bool-post.cpp
bool-scale.hpp
bool-view.hpp
int-bin.hpp
int-dom.hpp
int-nary.hpp
int-noview.hpp
int-post.cpp
int-ter.hpp
post.hpp
► member
prop.hpp
re-prop.hpp
► no-overlap
base.hpp
box.hpp
dim.hpp
man.hpp
opt.hpp
► nvalues
bool-base.hpp
bool-eq.hpp
bool-gq.hpp
bool-lq.hpp
graph.hpp
int-base.hpp
int-eq.hpp
int-gq.hpp
int-lq.hpp
range-event.hpp
sym-bit-matrix.hpp
► precede
single.hpp
► rel
eq.hpp
lex.hpp
lq-le.hpp
nq.hpp
► sequence
int.hpp
set-op.hpp
view.hpp
violations.hpp
► sorted
matching.hpp
narrowing.hpp
order.hpp
propagate.hpp
sortsup.hpp
► task
array.hpp
event.hpp
fwd-to-bwd.hpp
iter.hpp
man-to-opt.hpp
prop.hpp
purge.hpp
sort.hpp
tree.hpp
► trace
bool-delta.hpp
bool-trace-view.hpp
int-delta.hpp
int-trace-view.hpp
tracer.cpp
traits.hpp
► unary
detectable.hpp
edge-finding.hpp
man-prop.hpp
not-first-not-last.hpp
opt-prop.hpp
overload.hpp
post.hpp
subsumption.hpp
task-view.hpp
task.hpp
time-tabling.hpp
tree.hpp
► var
bool.cpp
bool.hpp
int.cpp
int.hpp
print.hpp
► var-imp
bool.cpp
bool.hpp
delta.hpp
int.cpp
int.hpp
► view
bool-test.hpp
bool.hpp
cached.hpp
constint.hpp
int.hpp
iter.hpp
minus.hpp
neg-bool.hpp
offset.hpp
print.hpp
rel-test.hpp
scale.hpp
zero.hpp
► view-val-graph
bi-link.hpp
comb-ptr-flag.hpp
edge.hpp
graph.hpp
iter-prune-val.hpp
node.hpp
arithmetic.cpp
arithmetic.hh
array-traits.hpp
array.cpp
array.hpp
bin-packing.cpp
bin-packing.hh
bool.cpp
bool.hh
branch.cpp
branch.hh
channel.cpp
channel.hh
channel.hpp
circuit.cpp
circuit.hh
count.cpp
count.hh
cumulative.cpp
cumulative.hh
cumulatives.cpp
cumulatives.hh
distinct.cpp
distinct.hh
div.hh
div.hpp
dom.cpp
dom.hh
element.cpp
element.hh
exception.cpp
exception.hpp
exec.cpp
exec.hh
extensional.cpp
extensional.hh
gcc.cpp
gcc.hh
idx-view.hh
idx-view.hpp
int-set-1.hpp
int-set-2.hpp
int-set.cpp
ipl.hpp
irt.hpp
ldsb.cpp
ldsb.hh
limits.hpp
linear-bool.cpp
linear-int.cpp
linear.hh
member.cpp
member.hh
no-overlap.cpp
no-overlap.hh
nvalues.cpp
nvalues.hh
precede.cpp
precede.hh
propagator.hpp
reify.hpp
rel.cpp
rel.hh
relax.cpp
sequence.cpp
sequence.hh
sorted.cpp
sorted.hh
support-values.hh
support-values.hpp
task.hh
trace.cpp
trace.hpp
unary.cpp
unary.hh
unshare.cpp
val-set.hh
val-set.hpp
var-imp.hpp
view-val-graph.hh
view.hpp
► iter
ranges-add.hpp
ranges-append.hpp
ranges-array.hpp
ranges-cache.hpp
ranges-compl.hpp
ranges-diff.hpp
ranges-empty.hpp
ranges-inter.hpp
ranges-list.hpp
ranges-map.hpp
ranges-minmax.hpp
ranges-minus.hpp
ranges-negative.hpp
ranges-offset.hpp
ranges-operations.hpp
ranges-positive.hpp
ranges-rangelist.hpp
ranges-scale.hpp
ranges-singleton-append.hpp
ranges-singleton.hpp
ranges-size.hpp
ranges-union.hpp
ranges-values.hpp
values-array.hpp
values-bitset.hpp
values-bitsetoffset.hpp
values-inter.hpp
values-list.hpp
values-map.hpp
values-minus.hpp
values-negative.hpp
values-offset.hpp
values-positive.hpp
values-ranges.hpp
values-singleton.hpp
values-union.hpp
values-unique.hpp
► kernel
action.cpp
action.hpp
advisor.hpp
afc.cpp
afc.hpp
allocators.hpp
archive.cpp
archive.hpp
array.hpp
branch-tiebreak.hpp
branch-traits.hpp
branch-val.hpp
branch-var.hpp
branch.cpp
brancher-filter.hpp
brancher-merit.hpp
brancher-print.hpp
brancher-val-commit.hpp
brancher-val-sel-commit.hpp
brancher-val-sel.hpp
brancher-view-sel.hpp
brancher-view-val.hpp
brancher-view.hpp
chb.cpp
chb.hpp
core.cpp
core.hpp
exception.cpp
exception.hpp
gpi.hpp
macros.hpp
memory-config.hpp
memory-manager.cpp
memory-manager.hpp
modevent.hpp
propagator.hpp
range-list.hpp
region.cpp
region.hpp
rnd.cpp
rnd.hpp
shared-array.hpp
shared-data.hpp
subscribed-propagators.hpp
trace-filter.cpp
trace-filter.hpp
trace-print.hpp
trace-recorder.cpp
trace-recorder.hpp
trace-traits.hpp
trace.cpp
trace.hpp
tracer.cpp
tracer.hpp
var-imp.hpp
var-type.hpp
var.hpp
view.hpp
wait.hh
► minimodel
bool-expr.cpp
bool-expr.hpp
exception.cpp
exception.hpp
float-arith.cpp
float-expr.cpp
float-rel.cpp
float-rel.hpp
int-arith.cpp
int-expr.cpp
int-rel.cpp
int-rel.hpp
ldsb.hpp
matrix.hpp
optimize.cpp
optimize.hpp
reg.cpp
reg.hpp
set-expr.cpp
set-expr.hpp
set-rel.cpp
set-rel.hpp
► search
► meta
► parallel
pbs.cpp
pbs.hh
pbs.hpp
► sequential
pbs.cpp
pbs.hh
pbs.hpp
dead.cpp
dead.hh
nogoods.cpp
nogoods.hh
rbs.cpp
rbs.hh
rbs.hpp
► parallel
bab.cpp
bab.hh
dfs.cpp
dfs.hh
engine.cpp
engine.hh
path.cpp
path.hh
► sequential
bab.hh
dfs.hh
lds.cpp
lds.hh
path.cpp
path.hh
bab.cpp
bab.hpp
base.hpp
build.hpp
cutoff.cpp
cutoff.hpp
dfs.cpp
dfs.hpp
engine.cpp
engine.hpp
exception.cpp
exception.hpp
lds.cpp
lds.hpp
options.cpp
options.hpp
pbs.cpp
pbs.hpp
rbs.cpp
rbs.hpp
relax.hh
sebs.cpp
sebs.hpp
statistics.hpp
stop.cpp
stop.hpp
support.hh
traits.hpp
worker.hh
► set
► branch
action.cpp
action.hpp
afc.hpp
assign.hpp
chb.cpp
chb.hpp
merit.hpp
ngl.cpp
ngl.hpp
traits.hpp
val-commit.hpp
val-sel-commit.cpp
val-sel.hpp
val.hpp
var.hpp
view-sel.cpp
► channel
bool.hpp
int.hpp
set.hpp
sorted.hpp
► convex
conv.cpp
conv.hpp
hull.cpp
hull.hpp
► distinct
atmostOne.cpp
atmostOne.hpp
► element
disjoint.hpp
inter.hpp
union.hpp
unionConst.hpp
► int
card.hpp
minmax.hpp
weights.hpp
► ldsb
brancher.hpp
sym-imp.cpp
► precede
single.hpp
► rel
common.hpp
eq.hpp
lq.hpp
nosubset.hpp
nq.hpp
re-eq.hpp
re-lq.hpp
re-subset.hpp
subset.hpp
► rel-op
common.hpp
inter.hpp
partition.hpp
post-compl-cvc.cpp
post-compl-cvv.cpp
post-compl-vvc.cpp
post-compl.cpp
post-nocompl-cvc.cpp
post-nocompl-cvv.cpp
post-nocompl-vvc.cpp
post-nocompl.cpp
post.hpp
subofunion.hpp
superofinter.hpp
union.hpp
► sequence
common.hpp
seq-u.cpp
seq-u.hpp
seq.cpp
seq.hpp
► trace
delta.hpp
trace-view.hpp
tracer.cpp
traits.hpp
► var
print.hpp
set.cpp
set.hpp
► var-imp
delta.hpp
integerset.cpp
integerset.hpp
iter.hpp
set.cpp
set.hpp
► view
cached.hpp
complement.hpp
const.hpp
print.hpp
set.hpp
singleton.hpp
array-traits.hpp
array.cpp
array.hpp
bool.cpp
branch.cpp
branch.hh
cardinality.cpp
channel.cpp
channel.hh
convex.cpp
convex.hh
distinct.cpp
distinct.hh
dom.cpp
element.cpp
element.hh
exception.cpp
exception.hpp
exec.cpp
int.cpp
int.hh
int.hpp
ldsb.cpp
ldsb.hh
limits.hpp
precede.cpp
precede.hh
rel-op-const-cvc.cpp
rel-op-const-cvv.cpp
rel-op-const-vcc.cpp
rel-op-const-vcv.cpp
rel-op-const-vvc.cpp
rel-op-singleton.cpp
rel-op-ternary.cpp
rel-op.cpp
rel-op.hh
rel.cpp
rel.hh
relax.cpp
sequence.cpp
sequence.hh
trace.cpp
trace.hpp
var-imp.hpp
view.hpp
► support
► thread
none.hpp
pthreads.cpp
pthreads.hpp
thread.cpp
thread.hpp
windows.cpp
windows.hpp
allocator.cpp
allocator.hpp
auto-link.hpp
bitset-base.hpp
bitset-offset.hpp
bitset.hpp
block-allocator.hpp
cast.hpp
config.hpp
dynamic-array.hpp
dynamic-queue.hpp
dynamic-stack.hpp
exception.cpp
exception.hpp
heap.cpp
heap.hpp
hw-rnd.cpp
hw-rnd.hpp
int-type.hpp
macros.hpp
marked-pointer.hpp
random.hpp
run-jobs.hpp
sort.hpp
static-stack.hpp
thread.hpp
timer.hpp
driver.hh
flatzinc.hh
float.hh
gist.hh
int.hh
iter.hh
kernel.hh
minimodel.hh
search.hh
set.hh
support.hh
► test
► assign
bool.cpp
float.cpp
int.cpp
set.cpp
► branch
bool.cpp
float.cpp
int.cpp
set.cpp
► flatzinc
2dpacking.cpp
alpha.cpp
battleships1.cpp
battleships10.cpp
battleships2.cpp
battleships3.cpp
battleships4.cpp
battleships5.cpp
battleships7.cpp
battleships9.cpp
blocksworld_instance_1.cpp
blocksworld_instance_2.cpp
bool_clause.cpp
bug232.cpp
bug319.cpp
bugfix_r6746.cpp
bugfix_r7854.cpp
cumulatives.cpp
cutstock.cpp
empty_domain_1.cpp
empty_domain_2.cpp
eq20.cpp
factory_planning_instance.cpp
golomb.cpp
int_set_as_type1.cpp
int_set_as_type2.cpp
jobshop.cpp
jobshop2x2.cpp
knights.cpp
langford2.cpp
latin_squares_fd.cpp
magicsq_3.cpp
magicsq_4.cpp
magicsq_5.cpp
multidim_knapsack_simple.cpp
no_warn_empty_domain.cpp
oss.cpp
output_test.cpp
packing.cpp
perfsq.cpp
perfsq2.cpp
photo.cpp
product_fd.cpp
product_lp.cpp
quasigroup_qg5.cpp
queen_cp2.cpp
queen_ip.cpp
queens4.cpp
radiation.cpp
sat_arith1.cpp
sat_array_bool_and.cpp
sat_array_bool_or.cpp
sat_cmp_reif.cpp
sat_eq_reif.cpp
simple_sat.cpp
singHoist2.cpp
steiner_triples.cpp
sudoku.cpp
template_design.cpp
tenpenki_1.cpp
tenpenki_2.cpp
tenpenki_3.cpp
tenpenki_4.cpp
tenpenki_5.cpp
tenpenki_6.cpp
test_approx_bnb.cpp
test_array_just_right.cpp
test_assigned_var_bounds_bad.cpp
test_flatzinc_output_anns.cpp
test_fzn_arith.cpp
test_fzn_arrays.cpp
test_fzn_coercions.cpp
test_fzn_comparison.cpp
test_fzn_logic.cpp
test_fzn_sets.cpp
test_int_div.cpp
test_int_mod.cpp
test_int_ranges_as_values.cpp
test_seq_search.cpp
timetabling.cpp
trucking.cpp
warehouses.cpp
warehouses_small.cpp
wolf_goat_cabbage.cpp
zebra.cpp
► float
arithmetic.cpp
basic.cpp
channel.cpp
dom.cpp
linear.cpp
mm-lin.cpp
rel.cpp
transcendental.cpp
trigonometric.cpp
► int
arithmetic.cpp
basic.cpp
bin-packing.cpp
bool.cpp
channel.cpp
circuit.cpp
count.cpp
cumulative.cpp
cumulatives.cpp
distinct.cpp
dom.cpp
element.cpp
exec.cpp
extensional.cpp
gcc.cpp
linear.cpp
member.cpp
mm-arithmetic.cpp
mm-bool.cpp
mm-count.cpp
mm-lin.cpp
mm-rel.cpp
no-overlap.cpp
nvalues.cpp
precede.cpp
rel.cpp
sequence.cpp
sorted.cpp
unary.cpp
unshare.cpp
► set
channel.cpp
construct.cpp
convex.cpp
distinct.cpp
dom.cpp
element.cpp
exec.cpp
int.cpp
mm-set.cpp
precede.cpp
rel-op-const.cpp
rel-op.cpp
rel.cpp
sequence.cpp
afc.cpp
array.cpp
assign.cpp
assign.hh
branch.cpp
branch.hh
flatzinc.cpp
flatzinc.hh
float.cpp
float.hh
float.hpp
int.cpp
int.hh
int.hpp
ldsb.cpp
nogoods.cpp
region.cpp
search.cpp
set.cpp
set.hh
set.hpp
test.cpp
test.hh
test.hpp
► tools
► flatzinc
fzn-gecode.cpp
changelog.hh
doxygen.hh
license.hh
stat.hh