notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)

/commits.php is going away

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

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.32.r0<5.33 : lang/perl5.32
This port is required by:
for Libraries
  1. math/minizinc
for Run
  1. math/minizinc-solvers

Configuration Options:
Options name:

USES:

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/0916a1a?dummy=/
Collapse this list.
Port Moves
  • port moved here from devel/gecode on 2021-05-04
    REASON: Move to a proper category

Number of commits found: 8

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
06 Jun 2021 01:44:30
 files touched by this commit commit hash:28e7bc89f8239fb973cd7ddf532d3faadb251e43  6.3.0_5
yuri search for other commits by this committer
math/gecode: Add SHARED and STATIC options to control type of built libraries

Also fix the bug that one library was wrongly conditioned on the FLATZINC
option.
27 May 2021 21:41:30
 files touched by this commit commit hash:4a18c5e4a42bc6a271917fae6cbebde019734245  6.3.0_4
yuri search for other commits by this committer
math/gecode: Fix bison detection by using bison from ports

Previous behavior was to use byacc from base which failed to
be detected by the configure script.
22 May 2021 20:12:19
 files touched by this commit commit hash:4e7cba27a5ddd708d43a36b1d1888fa74237513e  6.3.0_3
yuri search for other commits by this committer
math/gecode: Chase fixes in not yet officially released 6.3.0
16 May 2021 19:03:02
 files touched by this commit commit hash:67152ed4f83bd061a5226b6f923f6a40f09a2b0e  6.3.0_2
yuri search for other commits by this committer
math/gecode: Chase some merged PRs that fix issues in 'almost' released 6.3.0
08 May 2021 22:57:16
 files touched by this commit commit hash:c8f7f649c96991e1d714757179e642bfd0b98ae2  6.3.0_1
yuri search for other commits by this committer
math/gecode: Change to GNU autotools; Add options; Add test targets

cmake isn't a default build system for Gecode. Test targets are missing
there, and at least one problem produces a wrong result when Gecode is
built with cmake (zebra_inverse.mzn).
06 May 2021 21:39:31
 files touched by this commit commit hash:97e2d80eda48f6511d7d415338235b28240cd643  6.3.0
yuri search for other commits by this committer
math/gecode: Update 6.2.0 -> 6.3.0 (from branch)

6.3.0 is ready for a while but hasn't been released pending
only Windows installer issues.
04 May 2021 19:07:26
 files touched by this commit commit hash:fa3a01a51f7aab7c38084a94e766bed17ea6a657  6.2.0
yuri search for other commits by this committer
devel/gecode: Move to math category
04 May 2021 19:07:26
 files touched by this commit commit hash:8444522a9b0ecedd6253027300886c3a4fe0f8d2  6.2.0_1
yuri search for other commits by this committer
math/gecode: Install MiniZinc config file

Number of commits found: 8