notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Want a good monitor light? See my photosAll times are UTC
Ukraine
This referral link gives you 10% off a Fastmail.com account and gives me a discount on my Fastmail account.

Get notified when packages are built

A new feature has been added. FreshPorts already tracks package built by the FreeBSD project. This information is displayed on each port page. You can now get an email when FreshPorts notices a new package is available for something on one of your watch lists. However, you must opt into that. Click on Report Subscriptions on the right, and New Package Notification box, and click on Update.

Finally, under Watch Lists, click on ABI Package Subscriptions to select your ABI (e.g. FreeBSD:14:amd64) & package set (latest/quarterly) combination for a given watch list. This is what FreshPorts will look for.

Port details on branch 2022Q2
gecode Generic Constraint Development Environment
6.3.0_7 math on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 6.3.0_7Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2021-05-04 19:09:15
Last Update: 2023-08-11 14:52:24
Commit Hash: 617da83
License: BSL MIT
WWW:
https://www.gecode.org/
Description:
Gecode is a toolkit for developing constraint-based systems and applications. Gecode provides a constraint solver with state-of-the-art performance while being modular and extensible.
Homepage    cgit ¦ Codeberg ¦ GitHub ¦ GitLab ¦ SVNWeb - no subversion history for this port

Manual pages:
FreshPorts has no man page information for this port.
pkg-plist: as obtained via: make generate-plist
Expand this list (814 items)
Collapse this list.
  1. @ldconfig
  2. /usr/local/share/licenses/gecode-6.3.0_7/catalog.mk
  3. /usr/local/share/licenses/gecode-6.3.0_7/LICENSE
  4. /usr/local/share/licenses/gecode-6.3.0_7/BSL
  5. /usr/local/share/licenses/gecode-6.3.0_7/MIT
  6. bin/fzn-gecode
  7. bin/mzn-gecode
  8. include/examples/job-shop-instances.hpp
  9. include/examples/scowl.hpp
  10. include/gecode/driver.hh
  11. include/gecode/driver/options.hpp
  12. include/gecode/driver/script.hpp
  13. include/gecode/flatzinc.hh
  14. include/gecode/flatzinc/ast.hh
  15. include/gecode/flatzinc/branch.hh
  16. include/gecode/flatzinc/branch.hpp
  17. include/gecode/flatzinc/complete.hh
  18. include/gecode/flatzinc/conexpr.hh
  19. include/gecode/flatzinc/lastval.hh
  20. include/gecode/flatzinc/option.hh
  21. include/gecode/flatzinc/parser.hh
  22. include/gecode/flatzinc/parser.tab.hpp
  23. include/gecode/flatzinc/plugin.hh
  24. include/gecode/flatzinc/registry.hh
  25. include/gecode/flatzinc/symboltable.hh
  26. include/gecode/flatzinc/varspec.hh
  27. include/gecode/float.hh
  28. include/gecode/float/arithmetic.hh
  29. include/gecode/float/arithmetic/abs.hpp
  30. include/gecode/float/arithmetic/div.hpp
  31. include/gecode/float/arithmetic/min-max.hpp
  32. include/gecode/float/arithmetic/mult.hpp
  33. include/gecode/float/arithmetic/pow-nroot.hpp
  34. include/gecode/float/arithmetic/sqr-sqrt.hpp
  35. include/gecode/float/array-traits.hpp
  36. include/gecode/float/array.hpp
  37. include/gecode/float/bool.hh
  38. include/gecode/float/bool/ite.hpp
  39. include/gecode/float/branch.hh
  40. include/gecode/float/branch.hpp
  41. include/gecode/float/branch/action.hpp
  42. include/gecode/float/branch/afc.hpp
  43. include/gecode/float/branch/assign.hpp
  44. include/gecode/float/branch/chb.hpp
  45. include/gecode/float/branch/merit.hpp
  46. include/gecode/float/branch/traits.hpp
  47. include/gecode/float/branch/val-commit.hpp
  48. include/gecode/float/branch/val-sel.hpp
  49. include/gecode/float/branch/val.hpp
  50. include/gecode/float/branch/var.hpp
  51. include/gecode/float/channel.hh
  52. include/gecode/float/channel.hpp
  53. include/gecode/float/channel/channel.hpp
  54. include/gecode/float/exception.hpp
  55. include/gecode/float/limits.hpp
  56. include/gecode/float/linear.hh
  57. include/gecode/float/linear/nary.hpp
  58. include/gecode/float/nextafter.hpp
  59. include/gecode/float/num.hpp
  60. include/gecode/float/rel.hh
  61. include/gecode/float/rel/eq.hpp
  62. include/gecode/float/rel/lq-le.hpp
  63. include/gecode/float/rel/nq.hpp
  64. include/gecode/float/rounding.hpp
  65. include/gecode/float/trace.hpp
  66. include/gecode/float/trace/delta.hpp
  67. include/gecode/float/trace/trace-view.hpp
  68. include/gecode/float/trace/traits.hpp
  69. include/gecode/float/transcendental.hh
  70. include/gecode/float/transcendental/exp-log.hpp
  71. include/gecode/float/trigonometric.hh
  72. include/gecode/float/trigonometric/asinacos.hpp
  73. include/gecode/float/trigonometric/sincos.hpp
  74. include/gecode/float/trigonometric/tanatan.hpp
  75. include/gecode/float/val.hpp
  76. include/gecode/float/var-imp.hpp
  77. include/gecode/float/var-imp/delta.hpp
  78. include/gecode/float/var-imp/float.hpp
  79. include/gecode/float/var/float.hpp
  80. include/gecode/float/var/print.hpp
  81. include/gecode/float/view.hpp
  82. include/gecode/float/view/float.hpp
  83. include/gecode/float/view/minus.hpp
  84. include/gecode/float/view/offset.hpp
  85. include/gecode/float/view/print.hpp
  86. include/gecode/float/view/rel-test.hpp
  87. include/gecode/float/view/scale.hpp
  88. include/gecode/gist.hh
  89. include/gecode/gist/drawingcursor.hh
  90. include/gecode/gist/drawingcursor.hpp
  91. include/gecode/gist/gecodelogo.hh
  92. include/gecode/gist/gist.hpp
  93. include/gecode/gist/layoutcursor.hh
  94. include/gecode/gist/layoutcursor.hpp
  95. include/gecode/gist/mainwindow.hh
  96. include/gecode/gist/node.hh
  97. include/gecode/gist/node.hpp
  98. include/gecode/gist/nodecursor.hh
  99. include/gecode/gist/nodecursor.hpp
  100. include/gecode/gist/nodestats.hh
  101. include/gecode/gist/nodevisitor.hh
  102. include/gecode/gist/nodevisitor.hpp
  103. include/gecode/gist/nodewidget.hh
  104. include/gecode/gist/preferences.hh
  105. include/gecode/gist/qtgist.hh
  106. include/gecode/gist/spacenode.hh
  107. include/gecode/gist/spacenode.hpp
  108. include/gecode/gist/stopbrancher.hh
  109. include/gecode/gist/textoutput.hh
  110. include/gecode/gist/treecanvas.hh
  111. include/gecode/gist/visualnode.hh
  112. include/gecode/gist/visualnode.hpp
  113. include/gecode/gist/zoomToFitIcon.hpp
  114. include/gecode/int.hh
  115. include/gecode/int/arithmetic.hh
  116. include/gecode/int/arithmetic/abs.hpp
  117. include/gecode/int/arithmetic/argmax.hpp
  118. include/gecode/int/arithmetic/divmod.hpp
  119. include/gecode/int/arithmetic/max.hpp
  120. include/gecode/int/arithmetic/mult.hpp
  121. include/gecode/int/arithmetic/nroot.hpp
  122. include/gecode/int/arithmetic/pow-ops.hpp
  123. include/gecode/int/arithmetic/pow.hpp
  124. include/gecode/int/array-traits.hpp
  125. include/gecode/int/array.hpp
  126. include/gecode/int/bin-packing.hh
  127. include/gecode/int/bin-packing/conflict-graph.hpp
  128. include/gecode/int/bin-packing/propagate.hpp
  129. include/gecode/int/bool.hh
  130. include/gecode/int/bool/base.hpp
  131. include/gecode/int/bool/clause.hpp
  132. include/gecode/int/bool/eq.hpp
  133. include/gecode/int/bool/eqv.hpp
  134. include/gecode/int/bool/ite.hpp
  135. include/gecode/int/bool/lq.hpp
  136. include/gecode/int/bool/or.hpp
  137. include/gecode/int/branch.hh
  138. include/gecode/int/branch.hpp
  139. include/gecode/int/branch/action.hpp
  140. include/gecode/int/branch/afc.hpp
  141. include/gecode/int/branch/assign.hpp
  142. include/gecode/int/branch/cbs.hpp
  143. include/gecode/int/branch/chb.hpp
  144. include/gecode/int/branch/merit.hpp
  145. include/gecode/int/branch/ngl.hpp
  146. include/gecode/int/branch/traits.hpp
  147. include/gecode/int/branch/val-commit.hpp
  148. include/gecode/int/branch/val-sel.hpp
  149. include/gecode/int/branch/val.hpp
  150. include/gecode/int/branch/var.hpp
  151. include/gecode/int/branch/view-values.hpp
  152. include/gecode/int/channel.hh
  153. include/gecode/int/channel.hpp
  154. include/gecode/int/channel/base.hpp
  155. include/gecode/int/channel/dom.hpp
  156. include/gecode/int/channel/link-multi.hpp
  157. include/gecode/int/channel/link-single.hpp
  158. include/gecode/int/channel/val.hpp
  159. include/gecode/int/circuit.hh
  160. include/gecode/int/circuit/base.hpp
  161. include/gecode/int/circuit/dom.hpp
  162. include/gecode/int/circuit/val.hpp
  163. include/gecode/int/count.hh
  164. include/gecode/int/count/int-base.hpp
  165. include/gecode/int/count/int-eq.hpp
  166. include/gecode/int/count/int-gq.hpp
  167. include/gecode/int/count/int-lq.hpp
  168. include/gecode/int/count/rel.hpp
  169. include/gecode/int/count/view-base.hpp
  170. include/gecode/int/count/view-eq.hpp
  171. include/gecode/int/count/view-gq.hpp
  172. include/gecode/int/count/view-lq.hpp
  173. include/gecode/int/cumulative.hh
  174. include/gecode/int/cumulative/edge-finding.hpp
  175. include/gecode/int/cumulative/limits.hpp
  176. include/gecode/int/cumulative/man-prop.hpp
  177. include/gecode/int/cumulative/opt-prop.hpp
  178. include/gecode/int/cumulative/overload.hpp
  179. include/gecode/int/cumulative/post.hpp
  180. include/gecode/int/cumulative/subsumption.hpp
  181. include/gecode/int/cumulative/task-view.hpp
  182. include/gecode/int/cumulative/task.hpp
  183. include/gecode/int/cumulative/time-tabling.hpp
  184. include/gecode/int/cumulative/tree.hpp
  185. include/gecode/int/cumulatives.hh
  186. include/gecode/int/cumulatives/val.hpp
  187. include/gecode/int/distinct.hh
  188. include/gecode/int/distinct/bnd.hpp
  189. include/gecode/int/distinct/cbs.hpp
  190. include/gecode/int/distinct/dom-ctrl.hpp
  191. include/gecode/int/distinct/dom.hpp
  192. include/gecode/int/distinct/eqite.hpp
  193. include/gecode/int/distinct/graph.hpp
  194. include/gecode/int/distinct/ter-dom.hpp
  195. include/gecode/int/distinct/val.hpp
  196. include/gecode/int/div.hh
  197. include/gecode/int/div.hpp
  198. include/gecode/int/dom.hh
  199. include/gecode/int/dom/range.hpp
  200. include/gecode/int/dom/set.hpp
  201. include/gecode/int/element.hh
  202. include/gecode/int/element/int.hpp
  203. include/gecode/int/element/pair.hpp
  204. include/gecode/int/element/view.hpp
  205. include/gecode/int/exception.hpp
  206. include/gecode/int/exec.hh
  207. include/gecode/int/exec/when.hpp
  208. include/gecode/int/extensional.hh
  209. include/gecode/int/extensional.hpp
  210. include/gecode/int/extensional/bit-set.hpp
  211. include/gecode/int/extensional/compact.hpp
  212. include/gecode/int/extensional/dfa.hpp
  213. include/gecode/int/extensional/layered-graph.hpp
  214. include/gecode/int/extensional/tiny-bit-set.hpp
  215. include/gecode/int/extensional/tuple-set.hpp
  216. include/gecode/int/gcc.hh
  217. include/gecode/int/gcc/bnd-sup.hpp
  218. include/gecode/int/gcc/bnd.hpp
  219. include/gecode/int/gcc/dom-sup.hpp
  220. include/gecode/int/gcc/dom.hpp
  221. include/gecode/int/gcc/post.hpp
  222. include/gecode/int/gcc/val.hpp
  223. include/gecode/int/gcc/view.hpp
  224. include/gecode/int/idx-view.hh
  225. include/gecode/int/idx-view.hpp
  226. include/gecode/int/int-set-1.hpp
  227. include/gecode/int/int-set-2.hpp
  228. include/gecode/int/ipl.hpp
  229. include/gecode/int/irt.hpp
  230. include/gecode/int/ldsb.hh
  231. include/gecode/int/ldsb/brancher.hpp
  232. include/gecode/int/ldsb/sym-imp.hpp
  233. include/gecode/int/limits.hpp
  234. include/gecode/int/linear.hh
  235. include/gecode/int/linear/bool-int.hpp
  236. include/gecode/int/linear/bool-scale.hpp
  237. include/gecode/int/linear/bool-view.hpp
  238. include/gecode/int/linear/int-bin.hpp
  239. include/gecode/int/linear/int-dom.hpp
  240. include/gecode/int/linear/int-nary.hpp
  241. include/gecode/int/linear/int-noview.hpp
  242. include/gecode/int/linear/int-ter.hpp
  243. include/gecode/int/linear/post.hpp
  244. include/gecode/int/member.hh
  245. include/gecode/int/member/prop.hpp
  246. include/gecode/int/member/re-prop.hpp
  247. include/gecode/int/no-overlap.hh
  248. include/gecode/int/no-overlap/base.hpp
  249. include/gecode/int/no-overlap/box.hpp
  250. include/gecode/int/no-overlap/dim.hpp
  251. include/gecode/int/no-overlap/man.hpp
  252. include/gecode/int/no-overlap/opt.hpp
  253. include/gecode/int/nvalues.hh
  254. include/gecode/int/nvalues/bool-base.hpp
  255. include/gecode/int/nvalues/bool-eq.hpp
  256. include/gecode/int/nvalues/bool-gq.hpp
  257. include/gecode/int/nvalues/bool-lq.hpp
  258. include/gecode/int/nvalues/graph.hpp
  259. include/gecode/int/nvalues/int-base.hpp
  260. include/gecode/int/nvalues/int-eq.hpp
  261. include/gecode/int/nvalues/int-gq.hpp
  262. include/gecode/int/nvalues/int-lq.hpp
  263. include/gecode/int/nvalues/range-event.hpp
  264. include/gecode/int/nvalues/sym-bit-matrix.hpp
  265. include/gecode/int/order.hh
  266. include/gecode/int/order/propagate.hpp
  267. include/gecode/int/precede.hh
  268. include/gecode/int/precede/single.hpp
  269. include/gecode/int/propagator.hpp
  270. include/gecode/int/reify.hpp
  271. include/gecode/int/rel.hh
  272. include/gecode/int/rel/eq.hpp
  273. include/gecode/int/rel/lex.hpp
  274. include/gecode/int/rel/lq-le.hpp
  275. include/gecode/int/rel/nq.hpp
  276. include/gecode/int/sequence.hh
  277. include/gecode/int/sequence/int.hpp
  278. include/gecode/int/sequence/set-op.hpp
  279. include/gecode/int/sequence/view.hpp
  280. include/gecode/int/sequence/violations.hpp
  281. include/gecode/int/sorted.hh
  282. include/gecode/int/sorted/matching.hpp
  283. include/gecode/int/sorted/narrowing.hpp
  284. include/gecode/int/sorted/order.hpp
  285. include/gecode/int/sorted/propagate.hpp
  286. include/gecode/int/sorted/sortsup.hpp
  287. include/gecode/int/support-values.hh
  288. include/gecode/int/support-values.hpp
  289. include/gecode/int/task.hh
  290. include/gecode/int/task/array.hpp
  291. include/gecode/int/task/event.hpp
  292. include/gecode/int/task/fwd-to-bwd.hpp
  293. include/gecode/int/task/iter.hpp
  294. include/gecode/int/task/man-to-opt.hpp
  295. include/gecode/int/task/prop.hpp
  296. include/gecode/int/task/purge.hpp
  297. include/gecode/int/task/sort.hpp
  298. include/gecode/int/task/tree.hpp
  299. include/gecode/int/trace.hpp
  300. include/gecode/int/trace/bool-delta.hpp
  301. include/gecode/int/trace/bool-trace-view.hpp
  302. include/gecode/int/trace/int-delta.hpp
  303. include/gecode/int/trace/int-trace-view.hpp
  304. include/gecode/int/trace/traits.hpp
  305. include/gecode/int/unary.hh
  306. include/gecode/int/unary/detectable.hpp
  307. include/gecode/int/unary/edge-finding.hpp
  308. include/gecode/int/unary/man-prop.hpp
  309. include/gecode/int/unary/not-first-not-last.hpp
  310. include/gecode/int/unary/opt-prop.hpp
  311. include/gecode/int/unary/overload.hpp
  312. include/gecode/int/unary/post.hpp
  313. include/gecode/int/unary/subsumption.hpp
  314. include/gecode/int/unary/task-view.hpp
  315. include/gecode/int/unary/task.hpp
  316. include/gecode/int/unary/time-tabling.hpp
  317. include/gecode/int/unary/tree.hpp
  318. include/gecode/int/val-set.hh
  319. include/gecode/int/val-set.hpp
  320. include/gecode/int/var-imp.hpp
  321. include/gecode/int/var-imp/bool.hpp
  322. include/gecode/int/var-imp/delta.hpp
  323. include/gecode/int/var-imp/int.hpp
  324. include/gecode/int/var/bool.hpp
  325. include/gecode/int/var/int.hpp
  326. include/gecode/int/var/print.hpp
  327. include/gecode/int/view-val-graph.hh
  328. include/gecode/int/view-val-graph/bi-link.hpp
  329. include/gecode/int/view-val-graph/comb-ptr-flag.hpp
  330. include/gecode/int/view-val-graph/edge.hpp
  331. include/gecode/int/view-val-graph/graph.hpp
  332. include/gecode/int/view-val-graph/iter-prune-val.hpp
  333. include/gecode/int/view-val-graph/node.hpp
  334. include/gecode/int/view.hpp
  335. include/gecode/int/view/bool-test.hpp
  336. include/gecode/int/view/bool.hpp
  337. include/gecode/int/view/cached.hpp
  338. include/gecode/int/view/constint.hpp
  339. include/gecode/int/view/int.hpp
  340. include/gecode/int/view/iter.hpp
  341. include/gecode/int/view/minus.hpp
  342. include/gecode/int/view/neg-bool.hpp
  343. include/gecode/int/view/offset.hpp
  344. include/gecode/int/view/print.hpp
  345. include/gecode/int/view/rel-test.hpp
  346. include/gecode/int/view/scale.hpp
  347. include/gecode/int/view/zero.hpp
  348. include/gecode/iter.hh
  349. include/gecode/iter/ranges-add.hpp
  350. include/gecode/iter/ranges-append.hpp
  351. include/gecode/iter/ranges-array.hpp
  352. include/gecode/iter/ranges-cache.hpp
  353. include/gecode/iter/ranges-compl.hpp
  354. include/gecode/iter/ranges-diff.hpp
  355. include/gecode/iter/ranges-empty.hpp
  356. include/gecode/iter/ranges-inter.hpp
  357. include/gecode/iter/ranges-list.hpp
  358. include/gecode/iter/ranges-map.hpp
  359. include/gecode/iter/ranges-minmax.hpp
  360. include/gecode/iter/ranges-minus.hpp
  361. include/gecode/iter/ranges-negative.hpp
  362. include/gecode/iter/ranges-offset.hpp
  363. include/gecode/iter/ranges-operations.hpp
  364. include/gecode/iter/ranges-positive.hpp
  365. include/gecode/iter/ranges-rangelist.hpp
  366. include/gecode/iter/ranges-scale.hpp
  367. include/gecode/iter/ranges-singleton-append.hpp
  368. include/gecode/iter/ranges-singleton.hpp
  369. include/gecode/iter/ranges-size.hpp
  370. include/gecode/iter/ranges-union.hpp
  371. include/gecode/iter/ranges-values.hpp
  372. include/gecode/iter/values-array.hpp
  373. include/gecode/iter/values-bitset.hpp
  374. include/gecode/iter/values-bitsetoffset.hpp
  375. include/gecode/iter/values-inter.hpp
  376. include/gecode/iter/values-list.hpp
  377. include/gecode/iter/values-map.hpp
  378. include/gecode/iter/values-minus.hpp
  379. include/gecode/iter/values-negative.hpp
  380. include/gecode/iter/values-offset.hpp
  381. include/gecode/iter/values-positive.hpp
  382. include/gecode/iter/values-ranges.hpp
  383. include/gecode/iter/values-singleton.hpp
  384. include/gecode/iter/values-union.hpp
  385. include/gecode/iter/values-unique.hpp
  386. include/gecode/kernel.hh
  387. include/gecode/kernel/archive.hpp
  388. include/gecode/kernel/branch/action.hpp
  389. include/gecode/kernel/branch/afc.hpp
  390. include/gecode/kernel/branch/chb.hpp
  391. include/gecode/kernel/branch/filter.hpp
  392. include/gecode/kernel/branch/merit.hpp
  393. include/gecode/kernel/branch/print.hpp
  394. include/gecode/kernel/branch/tiebreak.hpp
  395. include/gecode/kernel/branch/traits.hpp
  396. include/gecode/kernel/branch/val-commit.hpp
  397. include/gecode/kernel/branch/val-sel-commit.hpp
  398. include/gecode/kernel/branch/val-sel.hpp
  399. include/gecode/kernel/branch/val.hpp
  400. include/gecode/kernel/branch/var.hpp
  401. include/gecode/kernel/branch/view-sel.hpp
  402. include/gecode/kernel/branch/view-val.hpp
  403. include/gecode/kernel/branch/view.hpp
  404. include/gecode/kernel/core.hpp
  405. include/gecode/kernel/data/array.hpp
  406. include/gecode/kernel/data/rnd.hpp
  407. include/gecode/kernel/data/shared-array.hpp
  408. include/gecode/kernel/data/shared-data.hpp
  409. include/gecode/kernel/exception.hpp
  410. include/gecode/kernel/gpi.hpp
  411. include/gecode/kernel/macros.hpp
  412. include/gecode/kernel/memory/allocators.hpp
  413. include/gecode/kernel/memory/config.hpp
  414. include/gecode/kernel/memory/manager.hpp
  415. include/gecode/kernel/memory/region.hpp
  416. include/gecode/kernel/modevent.hpp
  417. include/gecode/kernel/propagator/advisor.hpp
  418. include/gecode/kernel/propagator/pattern.hpp
  419. include/gecode/kernel/propagator/subscribed.hpp
  420. include/gecode/kernel/propagator/wait.hpp
  421. include/gecode/kernel/range-list.hpp
  422. include/gecode/kernel/shared-object.hpp
  423. include/gecode/kernel/shared-space-data.hpp
  424. include/gecode/kernel/trace/filter.hpp
  425. include/gecode/kernel/trace/general.hpp
  426. include/gecode/kernel/trace/print.hpp
  427. include/gecode/kernel/trace/recorder.hpp
  428. include/gecode/kernel/trace/tracer.hpp
  429. include/gecode/kernel/trace/traits.hpp
  430. include/gecode/kernel/var-imp.hpp
  431. include/gecode/kernel/var-type.hpp
  432. include/gecode/kernel/var.hpp
  433. include/gecode/kernel/view.hpp
  434. include/gecode/minimodel.hh
  435. include/gecode/minimodel/aliases.hpp
  436. include/gecode/minimodel/bool-expr.hpp
  437. include/gecode/minimodel/channel.hpp
  438. include/gecode/minimodel/exception.hpp
  439. include/gecode/minimodel/float-expr.hpp
  440. include/gecode/minimodel/float-rel.hpp
  441. include/gecode/minimodel/int-expr.hpp
  442. include/gecode/minimodel/int-rel.hpp
  443. include/gecode/minimodel/ipl.hpp
  444. include/gecode/minimodel/ldsb.hpp
  445. include/gecode/minimodel/matrix.hpp
  446. include/gecode/minimodel/optimize.hpp
  447. include/gecode/minimodel/reg.hpp
  448. include/gecode/minimodel/set-expr.hpp
  449. include/gecode/minimodel/set-rel.hpp
  450. include/gecode/search.hh
  451. include/gecode/search/bab.hpp
  452. include/gecode/search/base.hpp
  453. include/gecode/search/build.hpp
  454. include/gecode/search/cpprofiler/connector.hpp
  455. include/gecode/search/cpprofiler/message.hpp
  456. include/gecode/search/cutoff.hpp
  457. include/gecode/search/dfs.hpp
  458. include/gecode/search/engine.hpp
  459. include/gecode/search/exception.hpp
  460. include/gecode/search/lds.hpp
  461. include/gecode/search/nogoods.hh
  462. include/gecode/search/nogoods.hpp
  463. include/gecode/search/options.hpp
  464. include/gecode/search/par/bab.hh
  465. include/gecode/search/par/bab.hpp
  466. include/gecode/search/par/dfs.hh
  467. include/gecode/search/par/dfs.hpp
  468. include/gecode/search/par/engine.hh
  469. include/gecode/search/par/engine.hpp
  470. include/gecode/search/par/path.hh
  471. include/gecode/search/par/path.hpp
  472. include/gecode/search/par/pbs.hh
  473. include/gecode/search/par/pbs.hpp
  474. include/gecode/search/pbs.hpp
  475. include/gecode/search/rbs.hpp
  476. include/gecode/search/relax.hh
  477. include/gecode/search/sebs.hpp
  478. include/gecode/search/seq/bab.hh
  479. include/gecode/search/seq/bab.hpp
  480. include/gecode/search/seq/dead.hh
  481. include/gecode/search/seq/dfs.hh
  482. include/gecode/search/seq/dfs.hpp
  483. include/gecode/search/seq/lds.hh
  484. include/gecode/search/seq/lds.hpp
  485. include/gecode/search/seq/path.hh
  486. include/gecode/search/seq/path.hpp
  487. include/gecode/search/seq/pbs.hh
  488. include/gecode/search/seq/pbs.hpp
  489. include/gecode/search/seq/rbs.hh
  490. include/gecode/search/seq/rbs.hpp
  491. include/gecode/search/statistics.hpp
  492. include/gecode/search/stop.hpp
  493. include/gecode/search/support.hh
  494. include/gecode/search/trace-recorder.hpp
  495. include/gecode/search/tracer.hpp
  496. include/gecode/search/traits.hpp
  497. include/gecode/search/worker.hh
  498. include/gecode/set.hh
  499. include/gecode/set/array-traits.hpp
  500. include/gecode/set/array.hpp
  501. include/gecode/set/branch.hh
  502. include/gecode/set/branch.hpp
  503. include/gecode/set/branch/action.hpp
  504. include/gecode/set/branch/afc.hpp
  505. include/gecode/set/branch/assign.hpp
  506. include/gecode/set/branch/chb.hpp
  507. include/gecode/set/branch/merit.hpp
  508. include/gecode/set/branch/ngl.hpp
  509. include/gecode/set/branch/traits.hpp
  510. include/gecode/set/branch/val-commit.hpp
  511. include/gecode/set/branch/val-sel.hpp
  512. include/gecode/set/branch/val.hpp
  513. include/gecode/set/branch/var.hpp
  514. include/gecode/set/channel.hh
  515. include/gecode/set/channel/bool.hpp
  516. include/gecode/set/channel/int.hpp
  517. include/gecode/set/channel/set.hpp
  518. include/gecode/set/channel/sorted.hpp
  519. include/gecode/set/convex.hh
  520. include/gecode/set/convex/conv.hpp
  521. include/gecode/set/convex/hull.hpp
  522. include/gecode/set/distinct.hh
  523. include/gecode/set/distinct/atmostOne.hpp
  524. include/gecode/set/element.hh
  525. include/gecode/set/element/disjoint.hpp
  526. include/gecode/set/element/inter.hpp
  527. include/gecode/set/element/union.hpp
  528. include/gecode/set/element/unionConst.hpp
  529. include/gecode/set/exception.hpp
  530. include/gecode/set/int.hh
  531. include/gecode/set/int.hpp
  532. include/gecode/set/int/card.hpp
  533. include/gecode/set/int/minmax.hpp
  534. include/gecode/set/int/weights.hpp
  535. include/gecode/set/ldsb.hh
  536. include/gecode/set/ldsb/brancher.hpp
  537. include/gecode/set/limits.hpp
  538. include/gecode/set/precede.hh
  539. include/gecode/set/precede/single.hpp
  540. include/gecode/set/rel-op.hh
  541. include/gecode/set/rel-op/common.hpp
  542. include/gecode/set/rel-op/inter.hpp
  543. include/gecode/set/rel-op/partition.hpp
  544. include/gecode/set/rel-op/post.hpp
  545. include/gecode/set/rel-op/subofunion.hpp
  546. include/gecode/set/rel-op/superofinter.hpp
  547. include/gecode/set/rel-op/union.hpp
  548. include/gecode/set/rel.hh
  549. include/gecode/set/rel/common.hpp
  550. include/gecode/set/rel/eq.hpp
  551. include/gecode/set/rel/lq.hpp
  552. include/gecode/set/rel/nosubset.hpp
  553. include/gecode/set/rel/nq.hpp
  554. include/gecode/set/rel/re-eq.hpp
  555. include/gecode/set/rel/re-lq.hpp
  556. include/gecode/set/rel/re-subset.hpp
  557. include/gecode/set/rel/subset.hpp
  558. include/gecode/set/sequence.hh
  559. include/gecode/set/sequence/common.hpp
  560. include/gecode/set/sequence/seq-u.hpp
  561. include/gecode/set/sequence/seq.hpp
  562. include/gecode/set/trace.hpp
  563. include/gecode/set/trace/delta.hpp
  564. include/gecode/set/trace/trace-view.hpp
  565. include/gecode/set/trace/traits.hpp
  566. include/gecode/set/var-imp.hpp
  567. include/gecode/set/var-imp/delta.hpp
  568. include/gecode/set/var-imp/integerset.hpp
  569. include/gecode/set/var-imp/iter.hpp
  570. include/gecode/set/var-imp/set.hpp
  571. include/gecode/set/var/print.hpp
  572. include/gecode/set/var/set.hpp
  573. include/gecode/set/view.hpp
  574. include/gecode/set/view/cached.hpp
  575. include/gecode/set/view/complement.hpp
  576. include/gecode/set/view/const.hpp
  577. include/gecode/set/view/print.hpp
  578. include/gecode/set/view/set.hpp
  579. include/gecode/set/view/singleton.hpp
  580. include/gecode/support.hh
  581. include/gecode/support/allocator.hpp
  582. include/gecode/support/auto-link.hpp
  583. include/gecode/support/bitset-base.hpp
  584. include/gecode/support/bitset-offset.hpp
  585. include/gecode/support/bitset.hpp
  586. include/gecode/support/block-allocator.hpp
  587. include/gecode/support/cast.hpp
  588. include/gecode/support/config.hpp
  589. include/gecode/support/dynamic-array.hpp
  590. include/gecode/support/dynamic-queue.hpp
  591. include/gecode/support/dynamic-stack.hpp
  592. include/gecode/support/exception.hpp
  593. include/gecode/support/hash.hpp
  594. include/gecode/support/heap.hpp
  595. include/gecode/support/hw-rnd.hpp
  596. include/gecode/support/int-type.hpp
  597. include/gecode/support/macros.hpp
  598. include/gecode/support/marked-pointer.hpp
  599. include/gecode/support/random.hpp
  600. include/gecode/support/ref-count.hpp
  601. include/gecode/support/run-jobs.hpp
  602. include/gecode/support/sort.hpp
  603. include/gecode/support/static-stack.hpp
  604. include/gecode/support/thread.hpp
  605. include/gecode/support/thread/none.hpp
  606. include/gecode/support/thread/pthreads.hpp
  607. include/gecode/support/thread/thread.hpp
  608. include/gecode/support/thread/windows.hpp
  609. include/gecode/support/timer.hpp
  610. include/gecode/third-party/boost/LICENSE_1_0.txt
  611. include/gecode/third-party/boost/config.hpp
  612. include/gecode/third-party/boost/config/compiler/borland.hpp
  613. include/gecode/third-party/boost/config/compiler/clang.hpp
  614. include/gecode/third-party/boost/config/compiler/codegear.hpp
  615. include/gecode/third-party/boost/config/compiler/comeau.hpp
  616. include/gecode/third-party/boost/config/compiler/common_edg.hpp
  617. include/gecode/third-party/boost/config/compiler/compaq_cxx.hpp
  618. include/gecode/third-party/boost/config/compiler/digitalmars.hpp
  619. include/gecode/third-party/boost/config/compiler/gcc.hpp
  620. include/gecode/third-party/boost/config/compiler/gcc_xml.hpp
  621. include/gecode/third-party/boost/config/compiler/greenhills.hpp
  622. include/gecode/third-party/boost/config/compiler/hp_acc.hpp
  623. include/gecode/third-party/boost/config/compiler/intel.hpp
  624. include/gecode/third-party/boost/config/compiler/kai.hpp
  625. include/gecode/third-party/boost/config/compiler/metrowerks.hpp
  626. include/gecode/third-party/boost/config/compiler/mpw.hpp
  627. include/gecode/third-party/boost/config/compiler/nvcc.hpp
  628. include/gecode/third-party/boost/config/compiler/pathscale.hpp
  629. include/gecode/third-party/boost/config/compiler/pgi.hpp
  630. include/gecode/third-party/boost/config/compiler/sgi_mipspro.hpp
  631. include/gecode/third-party/boost/config/compiler/sunpro_cc.hpp
  632. include/gecode/third-party/boost/config/compiler/vacpp.hpp
  633. include/gecode/third-party/boost/config/compiler/visualc.hpp
  634. include/gecode/third-party/boost/config/no_tr1/cmath.hpp
  635. include/gecode/third-party/boost/config/no_tr1/utility.hpp
  636. include/gecode/third-party/boost/config/platform/aix.hpp
  637. include/gecode/third-party/boost/config/platform/amigaos.hpp
  638. include/gecode/third-party/boost/config/platform/beos.hpp
  639. include/gecode/third-party/boost/config/platform/bsd.hpp
  640. include/gecode/third-party/boost/config/platform/cygwin.hpp
  641. include/gecode/third-party/boost/config/platform/hpux.hpp
  642. include/gecode/third-party/boost/config/platform/irix.hpp
  643. include/gecode/third-party/boost/config/platform/linux.hpp
  644. include/gecode/third-party/boost/config/platform/macos.hpp
  645. include/gecode/third-party/boost/config/platform/qnxnto.hpp
  646. include/gecode/third-party/boost/config/platform/solaris.hpp
  647. include/gecode/third-party/boost/config/platform/symbian.hpp
  648. include/gecode/third-party/boost/config/platform/vms.hpp
  649. include/gecode/third-party/boost/config/platform/vxworks.hpp
  650. include/gecode/third-party/boost/config/platform/win32.hpp
  651. include/gecode/third-party/boost/config/posix_features.hpp
  652. include/gecode/third-party/boost/config/select_compiler_config.hpp
  653. include/gecode/third-party/boost/config/select_platform_config.hpp
  654. include/gecode/third-party/boost/config/select_stdlib_config.hpp
  655. include/gecode/third-party/boost/config/stdlib/dinkumware.hpp
  656. include/gecode/third-party/boost/config/stdlib/libcomo.hpp
  657. include/gecode/third-party/boost/config/stdlib/libcpp.hpp
  658. include/gecode/third-party/boost/config/stdlib/libstdcpp3.hpp
  659. include/gecode/third-party/boost/config/stdlib/modena.hpp
  660. include/gecode/third-party/boost/config/stdlib/msl.hpp
  661. include/gecode/third-party/boost/config/stdlib/roguewave.hpp
  662. include/gecode/third-party/boost/config/stdlib/sgi.hpp
  663. include/gecode/third-party/boost/config/stdlib/stlport.hpp
  664. include/gecode/third-party/boost/config/stdlib/vacpp.hpp
  665. include/gecode/third-party/boost/config/suffix.hpp
  666. include/gecode/third-party/boost/config/user.hpp
  667. include/gecode/third-party/boost/detail/endian.hpp
  668. include/gecode/third-party/boost/detail/limits.hpp
  669. include/gecode/third-party/boost/limits.hpp
  670. include/gecode/third-party/boost/non_type.hpp
  671. include/gecode/third-party/boost/numeric/interval.hpp
  672. include/gecode/third-party/boost/numeric/interval/arith.hpp
  673. include/gecode/third-party/boost/numeric/interval/arith2.hpp
  674. include/gecode/third-party/boost/numeric/interval/arith3.hpp
  675. include/gecode/third-party/boost/numeric/interval/checking.hpp
  676. include/gecode/third-party/boost/numeric/interval/compare.hpp
  677. include/gecode/third-party/boost/numeric/interval/compare/certain.hpp
  678. include/gecode/third-party/boost/numeric/interval/compare/explicit.hpp
  679. include/gecode/third-party/boost/numeric/interval/compare/lexicographic.hpp
  680. include/gecode/third-party/boost/numeric/interval/compare/possible.hpp
  681. include/gecode/third-party/boost/numeric/interval/compare/set.hpp
  682. include/gecode/third-party/boost/numeric/interval/constants.hpp
  683. include/gecode/third-party/boost/numeric/interval/detail/alpha_rounding_control.hpp
  684. include/gecode/third-party/boost/numeric/interval/detail/bcc_rounding_control.hpp
  685. include/gecode/third-party/boost/numeric/interval/detail/bugs.hpp
  686. include/gecode/third-party/boost/numeric/interval/detail/c99_rounding_control.hpp
  687. include/gecode/third-party/boost/numeric/interval/detail/c99sub_rounding_control.hpp
  688. include/gecode/third-party/boost/numeric/interval/detail/division.hpp
  689. include/gecode/third-party/boost/numeric/interval/detail/ia64_rounding_control.hpp
  690. include/gecode/third-party/boost/numeric/interval/detail/interval_prototype.hpp
  691. include/gecode/third-party/boost/numeric/interval/detail/msvc_rounding_control.hpp
  692. include/gecode/third-party/boost/numeric/interval/detail/ppc_rounding_control.hpp
  693. include/gecode/third-party/boost/numeric/interval/detail/sparc_rounding_control.hpp
  694. include/gecode/third-party/boost/numeric/interval/detail/test_input.hpp
  695. include/gecode/third-party/boost/numeric/interval/detail/x86_rounding_control.hpp
  696. include/gecode/third-party/boost/numeric/interval/detail/x86gcc_rounding_control.hpp
  697. include/gecode/third-party/boost/numeric/interval/hw_rounding.hpp
  698. include/gecode/third-party/boost/numeric/interval/interval.hpp
  699. include/gecode/third-party/boost/numeric/interval/policies.hpp
  700. include/gecode/third-party/boost/numeric/interval/rounded_arith.hpp
  701. include/gecode/third-party/boost/numeric/interval/rounded_transc.hpp
  702. include/gecode/third-party/boost/numeric/interval/rounding.hpp
  703. include/gecode/third-party/boost/numeric/interval/transc.hpp
  704. include/gecode/third-party/boost/numeric/interval/utility.hpp
  705. include/gecode/third-party/boost/type.hpp
  706. @comment lib/libgecodedriver.a
  707. lib/libgecodedriver.so
  708. lib/libgecodedriver.so.51
  709. lib/libgecodedriver.so.51.0
  710. @comment lib/libgecodeflatzinc.a
  711. lib/libgecodeflatzinc.so
  712. lib/libgecodeflatzinc.so.51
  713. lib/libgecodeflatzinc.so.51.0
  714. @comment lib/libgecodefloat.a
  715. lib/libgecodefloat.so
  716. lib/libgecodefloat.so.51
  717. lib/libgecodefloat.so.51.0
  718. @comment @comment lib/libgecodegist.a
  719. @comment lib/libgecodegist.so
  720. @comment lib/libgecodegist.so.51
  721. @comment lib/libgecodegist.so.51.0
  722. @comment lib/libgecodeint.a
  723. lib/libgecodeint.so
  724. lib/libgecodeint.so.51
  725. lib/libgecodeint.so.51.0
  726. @comment lib/libgecodekernel.a
  727. lib/libgecodekernel.so
  728. lib/libgecodekernel.so.51
  729. lib/libgecodekernel.so.51.0
  730. @comment lib/libgecodeminimodel.a
  731. lib/libgecodeminimodel.so
  732. lib/libgecodeminimodel.so.51
  733. lib/libgecodeminimodel.so.51.0
  734. @comment lib/libgecodesearch.a
  735. lib/libgecodesearch.so
  736. lib/libgecodesearch.so.51
  737. lib/libgecodesearch.so.51.0
  738. @comment lib/libgecodeset.a
  739. lib/libgecodeset.so
  740. lib/libgecodeset.so.51
  741. lib/libgecodeset.so.51.0
  742. @comment lib/libgecodesupport.a
  743. lib/libgecodesupport.so
  744. lib/libgecodesupport.so.51
  745. lib/libgecodesupport.so.51.0
  746. share/minizinc/gecode/fzn_all_different_int.mzn
  747. share/minizinc/gecode/fzn_all_equal_int.mzn
  748. share/minizinc/gecode/fzn_alldifferent_except_0.mzn
  749. share/minizinc/gecode/fzn_among.mzn
  750. share/minizinc/gecode/fzn_arg_max_bool.mzn
  751. share/minizinc/gecode/fzn_arg_max_int.mzn
  752. share/minizinc/gecode/fzn_arg_min_bool.mzn
  753. share/minizinc/gecode/fzn_arg_min_int.mzn
  754. share/minizinc/gecode/fzn_at_least_int.mzn
  755. share/minizinc/gecode/fzn_at_least_set.mzn
  756. share/minizinc/gecode/fzn_at_most_int.mzn
  757. share/minizinc/gecode/fzn_at_most_set.mzn
  758. share/minizinc/gecode/fzn_bin_packing.mzn
  759. share/minizinc/gecode/fzn_bin_packing_capa.mzn
  760. share/minizinc/gecode/fzn_bin_packing_load.mzn
  761. share/minizinc/gecode/fzn_circuit.mzn
  762. share/minizinc/gecode/fzn_count_eq.mzn
  763. share/minizinc/gecode/fzn_count_eq_reif.mzn
  764. share/minizinc/gecode/fzn_cumulative.mzn
  765. share/minizinc/gecode/fzn_cumulative_opt.mzn
  766. share/minizinc/gecode/fzn_decreasing_bool.mzn
  767. share/minizinc/gecode/fzn_decreasing_int.mzn
  768. share/minizinc/gecode/fzn_diffn.mzn
  769. share/minizinc/gecode/fzn_disjoint.mzn
  770. share/minizinc/gecode/fzn_disjunctive_strict.mzn
  771. share/minizinc/gecode/fzn_disjunctive_strict_opt.mzn
  772. share/minizinc/gecode/fzn_exactly_set.mzn
  773. share/minizinc/gecode/fzn_global_cardinality.mzn
  774. share/minizinc/gecode/fzn_global_cardinality_closed.mzn
  775. share/minizinc/gecode/fzn_global_cardinality_low_up.mzn
  776. share/minizinc/gecode/fzn_global_cardinality_low_up_closed.mzn
  777. share/minizinc/gecode/fzn_increasing_bool.mzn
  778. share/minizinc/gecode/fzn_increasing_int.mzn
  779. share/minizinc/gecode/fzn_int_set_channel.mzn
  780. share/minizinc/gecode/fzn_inverse.mzn
  781. share/minizinc/gecode/fzn_inverse_set.mzn
  782. share/minizinc/gecode/fzn_lex_less_bool.mzn
  783. share/minizinc/gecode/fzn_lex_less_int.mzn
  784. share/minizinc/gecode/fzn_lex_lesseq_bool.mzn
  785. share/minizinc/gecode/fzn_lex_lesseq_int.mzn
  786. share/minizinc/gecode/fzn_link_set_to_booleans.mzn
  787. share/minizinc/gecode/fzn_member_bool.mzn
  788. share/minizinc/gecode/fzn_member_bool_reif.mzn
  789. share/minizinc/gecode/fzn_member_int.mzn
  790. share/minizinc/gecode/fzn_member_int_reif.mzn
  791. share/minizinc/gecode/fzn_nvalue.mzn
  792. share/minizinc/gecode/fzn_partition_set.mzn
  793. share/minizinc/gecode/fzn_range.mzn
  794. share/minizinc/gecode/fzn_regular.mzn
  795. share/minizinc/gecode/fzn_roots.mzn
  796. share/minizinc/gecode/fzn_sort.mzn
  797. share/minizinc/gecode/fzn_sum_pred.mzn
  798. share/minizinc/gecode/fzn_sum_set.mzn
  799. share/minizinc/gecode/fzn_table_bool.mzn
  800. share/minizinc/gecode/fzn_table_bool_reif.mzn
  801. share/minizinc/gecode/fzn_table_int.mzn
  802. share/minizinc/gecode/fzn_table_int_reif.mzn
  803. share/minizinc/gecode/fzn_value_precede_int.mzn
  804. share/minizinc/gecode/fzn_value_precede_set.mzn
  805. share/minizinc/gecode/gecode.mzn
  806. share/minizinc/gecode/redefinitions-2.0.2.mzn
  807. share/minizinc/gecode/redefinitions-2.0.mzn
  808. share/minizinc/gecode/redefinitions-2.2.1.mzn
  809. share/minizinc/gecode/redefinitions-2.5.2.mzn
  810. share/minizinc/gecode/redefinitions.mzn
  811. share/minizinc/solvers/gecode.msc
  812. @owner
  813. @group
  814. @mode
Collapse this list.
Dependency lines:
  • gecode>0:math/gecode
To install the port:
cd /usr/ports/math/gecode/ && make install clean
To add the package, run one of these commands:
  • pkg install math/gecode
  • pkg install gecode
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.
PKGNAME: gecode
Flavors: there is no flavor information for this port.
NOT_FOR_ARCHS: armv6 armv7 mips mips64
distinfo:
TIMESTAMP = 1691773520 SHA256 (Gecode-gecode-release-6.3.0-fc22c40_GH0.tar.gz) = dc7cfc83a9de32a6b3b8f9dc965ad9914ad7c8643ba6925031cbad574062fb15 SIZE (Gecode-gecode-release-6.3.0-fc22c40_GH0.tar.gz) = 5741716

Packages (timestamps in pop-ups are UTC):
gecode
ABIaarch64amd64armv6armv7i386powerpcpowerpc64powerpc64le
FreeBSD:13:latest6.3.0_76.3.0_7--6.3.0_7---
FreeBSD:13:quarterly6.3.0_76.3.0_7--6.3.0_76.3.0_76.3.0_76.3.0_7
FreeBSD:14:latest6.3.0_76.3.0_7--6.3.0_76.3.0_6-6.3.0_6
FreeBSD:14:quarterly6.3.0_76.3.0_7--6.3.0_76.3.0_76.3.0_76.3.0_7
FreeBSD:15:latest6.3.0_76.3.0_7n/a-n/a6.3.0_76.3.0_76.3.0_7
FreeBSD:15:quarterly--n/a-n/a---
Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. bison : devel/bison
  2. gmake>=4.3 : devel/gmake
  3. perl5>=5.34<5.35 : lang/perl5.34
This port is required by:
for Libraries
  1. math/minizinc
for Run
  1. math/minizinc-solvers

Configuration Options:
===> The following configuration options are available for gecode-6.3.0_7: AUDIT=off: Build with auditing code CBS=on: Support for counting-based search FLATZINC=on: Build FlatZinc interpreter GIST=off: Enable gist, graphical and interactive search tool PEAKHEAP=off: Peak heap size tracking PROFILE=off: Build with profiling information SEARCH=on: Build search engines ====> Library type: you can only select none or one of them SHARED=on: Build shared executables and/or libraries STATIC=off: Build static executables and/or libraries ===> Use 'make config' to modify these settings
Options name:
math_gecode
USES:
bison:build compiler:c++11-lang gmake perl5
FreshPorts was unable to extract/find any pkg message
Master Sites:
Expand this list (1 items)
Collapse this list.
  1. https://codeload.github.com/Gecode/gecode/tar.gz/fc22c40?dummy=/
Collapse this list.

There are no commits on branch 2022Q2 for this port