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

Hardware failure

The website is running on the old server. The new server stopped working at about 0200 UTC on 2020-08-22. The database was restored from 2020-08-21 00:59:15+00 UTC. We think we have covered all commits. Nothing should be missing. Any changes you made to your accounts after the restore date will be lost. Sorry about that.
Port details
minizinc Constraint modeling language
2.5.1 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. 2.4.3.20200807_1Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2020-08-10 05:27:39
Last Update: 2020-10-25 18:49:59
SVN Revision: 553281
Also Listed In: lang
License: MPL20
Description:
SVNWeb : Homepage
pkg-plist: as obtained via: make generate-plist
Expand this list (738 items)
Collapse this list.
  1. @ldconfig
  2. /usr/local/share/licenses/minizinc-2.5.1/catalog.mk
  3. /usr/local/share/licenses/minizinc-2.5.1/LICENSE
  4. /usr/local/share/licenses/minizinc-2.5.1/MPL20
  5. bin/minizinc
  6. bin/mzn2doc
  7. include/minizinc/MIPdomains.hh
  8. include/minizinc/_thirdparty/b64/cdecode.h
  9. include/minizinc/_thirdparty/b64/cencode.h
  10. include/minizinc/_thirdparty/b64/decode.h
  11. include/minizinc/_thirdparty/b64/encode.h
  12. include/minizinc/_thirdparty/miniz.h
  13. include/minizinc/algorithms/min_cut.h
  14. include/minizinc/ast.hh
  15. include/minizinc/ast.hpp
  16. include/minizinc/astexception.hh
  17. include/minizinc/astiterator.hh
  18. include/minizinc/astmap.hh
  19. include/minizinc/aststring.hh
  20. include/minizinc/astvec.hh
  21. include/minizinc/builtins.hh
  22. include/minizinc/chain_compressor.hh
  23. include/minizinc/config.hh
  24. include/minizinc/copy.hh
  25. include/minizinc/eval_par.hh
  26. include/minizinc/exception.hh
  27. include/minizinc/file_utils.hh
  28. include/minizinc/flat_exp.hh
  29. include/minizinc/flatten.hh
  30. include/minizinc/flatten_internal.hh
  31. include/minizinc/flattener.hh
  32. include/minizinc/gc.hh
  33. include/minizinc/hash.hh
  34. include/minizinc/htmlprinter.hh
  35. include/minizinc/interrupt.hh
  36. include/minizinc/iter.hh
  37. include/minizinc/json_parser.hh
  38. include/minizinc/model.hh
  39. include/minizinc/optimize.hh
  40. include/minizinc/optimize_constraints.hh
  41. include/minizinc/output.hh
  42. include/minizinc/param_config.hh
  43. include/minizinc/parser.hh
  44. include/minizinc/parser.tab.hh
  45. include/minizinc/passes/compile_pass.hh
  46. include/minizinc/passes/gecode_pass.hh
  47. include/minizinc/pathfileprinter.hh
  48. include/minizinc/plugin.hh
  49. include/minizinc/prettyprinter.hh
  50. include/minizinc/process.hh
  51. include/minizinc/solns2out.hh
  52. include/minizinc/solver.hh
  53. include/minizinc/solver_config.hh
  54. include/minizinc/solver_instance.hh
  55. include/minizinc/solver_instance_base.hh
  56. include/minizinc/solver_instance_defs.hh
  57. include/minizinc/solvers/MIP/MIP_cplex_solverfactory.hh
  58. include/minizinc/solvers/MIP/MIP_cplex_wrap.hh
  59. include/minizinc/solvers/MIP/MIP_gurobi_solverfactory.hh
  60. include/minizinc/solvers/MIP/MIP_gurobi_wrap.hh
  61. include/minizinc/solvers/MIP/MIP_osicbc_solverfactory.hh
  62. include/minizinc/solvers/MIP/MIP_osicbc_wrap.hh
  63. include/minizinc/solvers/MIP/MIP_scip_solverfactory.hh
  64. include/minizinc/solvers/MIP/MIP_scip_wrap.hh
  65. include/minizinc/solvers/MIP/MIP_solverinstance.hh
  66. include/minizinc/solvers/MIP/MIP_solverinstance.hpp
  67. include/minizinc/solvers/MIP/MIP_wrap.hh
  68. include/minizinc/solvers/MIP/MIP_xpress_solverfactory.hh
  69. include/minizinc/solvers/MIP/MIP_xpress_wrap.hh
  70. include/minizinc/solvers/fzn_solverfactory.hh
  71. include/minizinc/solvers/fzn_solverinstance.hh
  72. include/minizinc/solvers/geas/geas_constraints.hh
  73. include/minizinc/solvers/geas_solverfactory.hh
  74. include/minizinc/solvers/geas_solverinstance.hh
  75. include/minizinc/solvers/gecode/fzn_space.hh
  76. include/minizinc/solvers/gecode/gecode_constraints.hh
  77. include/minizinc/solvers/gecode_solverfactory.hh
  78. include/minizinc/solvers/gecode_solverinstance.hh
  79. include/minizinc/solvers/mzn_solverfactory.hh
  80. include/minizinc/solvers/mzn_solverinstance.hh
  81. include/minizinc/solvers/nl/nl_components.hh
  82. include/minizinc/solvers/nl/nl_file.hh
  83. include/minizinc/solvers/nl/nl_solreader.hh
  84. include/minizinc/solvers/nl/nl_solverfactory.hh
  85. include/minizinc/solvers/nl/nl_solverinstance.hh
  86. include/minizinc/statistics.hh
  87. include/minizinc/support/regex.hh
  88. include/minizinc/support/regex_parser.tab.hh
  89. include/minizinc/timer.hh
  90. include/minizinc/type.hh
  91. include/minizinc/typecheck.hh
  92. include/minizinc/utils.hh
  93. include/minizinc/utils_savestream.hh
  94. include/minizinc/values.hh
  95. lib/cmake/libminizinc/FindGecode.cmake
  96. lib/cmake/libminizinc/FindMPFR.cmake
  97. lib/cmake/libminizinc/FindOsiCBC.cmake
  98. lib/cmake/libminizinc/libminizincConfig.cmake
  99. lib/cmake/libminizinc/libminizincConfigVersion.cmake
  100. lib/cmake/libminizinc/libminizincTargets-release.cmake
  101. lib/cmake/libminizinc/libminizincTargets.cmake
  102. lib/libmzn.so
  103. share/minizinc/Preferences.json
  104. share/minizinc/g12_fd/all_different_int.mzn
  105. share/minizinc/g12_fd/cumulative.mzn
  106. share/minizinc/g12_fd/global_cardinality_low_up.mzn
  107. share/minizinc/g12_lazyfd/all_different_int.mzn
  108. share/minizinc/g12_lazyfd/redefinitions.mzn
  109. share/minizinc/geas/fzn_all_different_int.mzn
  110. share/minizinc/geas/fzn_alldifferent_except_0.mzn
  111. share/minizinc/geas/fzn_cumulative.mzn
  112. share/minizinc/geas/fzn_disjunctive.mzn
  113. share/minizinc/geas/fzn_global_cardinality.mzn
  114. share/minizinc/geas/fzn_inverse.mzn
  115. share/minizinc/geas/fzn_table_int.mzn
  116. share/minizinc/geas/fzn_value_precede_int.mzn
  117. share/minizinc/geas/redefinitions-2.0.mzn
  118. share/minizinc/geas/redefinitions.mzn
  119. share/minizinc/gecode_presolver/fzn_all_different_int.mzn
  120. share/minizinc/gecode_presolver/fzn_all_equal_int.mzn
  121. share/minizinc/gecode_presolver/fzn_among.mzn
  122. share/minizinc/gecode_presolver/fzn_arg_max_int.mzn
  123. share/minizinc/gecode_presolver/fzn_arg_min_int.mzn
  124. share/minizinc/gecode_presolver/fzn_at_least_int.mzn
  125. share/minizinc/gecode_presolver/fzn_at_least_set.mzn
  126. share/minizinc/gecode_presolver/fzn_at_most_int.mzn
  127. share/minizinc/gecode_presolver/fzn_at_most_set.mzn
  128. share/minizinc/gecode_presolver/fzn_bin_packing.mzn
  129. share/minizinc/gecode_presolver/fzn_bin_packing_capa.mzn
  130. share/minizinc/gecode_presolver/fzn_bin_packing_load.mzn
  131. share/minizinc/gecode_presolver/fzn_circuit.mzn
  132. share/minizinc/gecode_presolver/fzn_count_eq.mzn
  133. share/minizinc/gecode_presolver/fzn_count_eq_reif.mzn
  134. share/minizinc/gecode_presolver/fzn_cumulative.mzn
  135. share/minizinc/gecode_presolver/fzn_decreasing_bool.mzn
  136. share/minizinc/gecode_presolver/fzn_decreasing_int.mzn
  137. share/minizinc/gecode_presolver/fzn_diffn.mzn
  138. share/minizinc/gecode_presolver/fzn_disjoint.mzn
  139. share/minizinc/gecode_presolver/fzn_distribute.mzn
  140. share/minizinc/gecode_presolver/fzn_exactly_int.mzn
  141. share/minizinc/gecode_presolver/fzn_exactly_set.mzn
  142. share/minizinc/gecode_presolver/fzn_global_cardinality.mzn
  143. share/minizinc/gecode_presolver/fzn_global_cardinality_closed.mzn
  144. share/minizinc/gecode_presolver/fzn_global_cardinality_low_up.mzn
  145. share/minizinc/gecode_presolver/fzn_global_cardinality_low_up_closed.mzn
  146. share/minizinc/gecode_presolver/fzn_increasing_bool.mzn
  147. share/minizinc/gecode_presolver/fzn_increasing_int.mzn
  148. share/minizinc/gecode_presolver/fzn_int_set_channel.mzn
  149. share/minizinc/gecode_presolver/fzn_inverse.mzn
  150. share/minizinc/gecode_presolver/fzn_inverse_set.mzn
  151. share/minizinc/gecode_presolver/fzn_lex_less_bool.mzn
  152. share/minizinc/gecode_presolver/fzn_lex_less_int.mzn
  153. share/minizinc/gecode_presolver/fzn_lex_lesseq_bool.mzn
  154. share/minizinc/gecode_presolver/fzn_lex_lesseq_int.mzn
  155. share/minizinc/gecode_presolver/fzn_link_set_to_booleans.mzn
  156. share/minizinc/gecode_presolver/fzn_member_bool.mzn
  157. share/minizinc/gecode_presolver/fzn_member_bool_reif.mzn
  158. share/minizinc/gecode_presolver/fzn_member_int.mzn
  159. share/minizinc/gecode_presolver/fzn_member_int_reif.mzn
  160. share/minizinc/gecode_presolver/fzn_nvalue.mzn
  161. share/minizinc/gecode_presolver/fzn_partition_set.mzn
  162. share/minizinc/gecode_presolver/fzn_range.mzn
  163. share/minizinc/gecode_presolver/fzn_regular.mzn
  164. share/minizinc/gecode_presolver/fzn_roots.mzn
  165. share/minizinc/gecode_presolver/fzn_sort.mzn
  166. share/minizinc/gecode_presolver/fzn_sum_pred.mzn
  167. share/minizinc/gecode_presolver/fzn_table_bool.mzn
  168. share/minizinc/gecode_presolver/fzn_table_int.mzn
  169. share/minizinc/gecode_presolver/fzn_value_precede_int.mzn
  170. share/minizinc/gecode_presolver/fzn_value_precede_set.mzn
  171. share/minizinc/gecode_presolver/gecode.mzn
  172. share/minizinc/gecode_presolver/precedence.mzn
  173. share/minizinc/gecode_presolver/redefinitions-2.0.mzn
  174. share/minizinc/gecode_presolver/redefinitions.mzn
  175. share/minizinc/linear/CHANGELOG.txt
  176. share/minizinc/linear/domain_encodings.mzn
  177. share/minizinc/linear/fzn_all_different_int.mzn
  178. share/minizinc/linear/fzn_alldifferent_except_0.mzn
  179. share/minizinc/linear/fzn_circuit.mzn
  180. share/minizinc/linear/fzn_cumulative.mzn
  181. share/minizinc/linear/fzn_if_then_else_float.mzn
  182. share/minizinc/linear/fzn_if_then_else_int.mzn
  183. share/minizinc/linear/fzn_inverse.mzn
  184. share/minizinc/linear/fzn_inverse_in_range.mzn
  185. share/minizinc/linear/fzn_inverse_in_range_reif.mzn
  186. share/minizinc/linear/fzn_inverse_reif.mzn
  187. share/minizinc/linear/fzn_lex_less_bool_reif.mzn
  188. share/minizinc/linear/fzn_lex_lesseq_bool.mzn
  189. share/minizinc/linear/fzn_lex_lesseq_bool_reif.mzn
  190. share/minizinc/linear/fzn_regular.mzn
  191. share/minizinc/linear/fzn_sliding_sum.mzn
  192. share/minizinc/linear/fzn_subcircuit.mzn
  193. share/minizinc/linear/fzn_table_int.mzn
  194. share/minizinc/linear/options.mzn
  195. share/minizinc/linear/redefinitions-2.0.2.mzn
  196. share/minizinc/linear/redefinitions-2.0.mzn
  197. share/minizinc/linear/redefinitions-2.2.1.mzn
  198. share/minizinc/linear/redefinitions.mzn
  199. share/minizinc/linear/redefs_bool_imp.mzn
  200. share/minizinc/linear/redefs_bool_reifs.mzn
  201. share/minizinc/linear/redefs_lin_halfreifs.mzn
  202. share/minizinc/linear/redefs_lin_imp.mzn
  203. share/minizinc/linear/redefs_lin_reifs.mzn
  204. share/minizinc/linear/subcircuit_wDummy.mzn
  205. share/minizinc/linear_old/all_different_int.mzn
  206. share/minizinc/linear_old/domain_encodings.mzn
  207. share/minizinc/linear_old/inverse.mzn
  208. share/minizinc/linear_old/linear/all_different_int.mzn
  209. share/minizinc/linear_old/linear/domain_encodings.mzn
  210. share/minizinc/linear_old/linear/inverse.mzn
  211. share/minizinc/linear_old/linear/redefinitions-2.0.2.mzn
  212. share/minizinc/linear_old/linear/redefinitions-2.0.mzn
  213. share/minizinc/linear_old/linear/redefinitions.mzn
  214. share/minizinc/linear_old/linear/table_int.mzn
  215. share/minizinc/linear_old/redefinitions-2.0.2.mzn
  216. share/minizinc/linear_old/redefinitions-2.0.mzn
  217. share/minizinc/linear_old/redefinitions.mzn
  218. share/minizinc/linear_old/table_int.mzn
  219. share/minizinc/std/all_different.mzn
  220. share/minizinc/std/all_different_int.mzn
  221. share/minizinc/std/all_different_set.mzn
  222. share/minizinc/std/all_disjoint.mzn
  223. share/minizinc/std/all_equal.mzn
  224. share/minizinc/std/all_equal_int.mzn
  225. share/minizinc/std/all_equal_set.mzn
  226. share/minizinc/std/alldifferent.mzn
  227. share/minizinc/std/alldifferent_except.mzn
  228. share/minizinc/std/alldifferent_except_0.mzn
  229. share/minizinc/std/alternative.mzn
  230. share/minizinc/std/among.mzn
  231. share/minizinc/std/among_fn.mzn
  232. share/minizinc/std/analyse_all_different.mzn
  233. share/minizinc/std/arg_max.mzn
  234. share/minizinc/std/arg_max_bool.mzn
  235. share/minizinc/std/arg_max_float.mzn
  236. share/minizinc/std/arg_max_int.mzn
  237. share/minizinc/std/arg_min.mzn
  238. share/minizinc/std/arg_min_bool.mzn
  239. share/minizinc/std/arg_min_float.mzn
  240. share/minizinc/std/arg_min_int.mzn
  241. share/minizinc/std/arg_sort.mzn
  242. share/minizinc/std/arg_sort_float.mzn
  243. share/minizinc/std/arg_sort_int.mzn
  244. share/minizinc/std/at_least.mzn
  245. share/minizinc/std/at_least.mzn.deprecated.mzn
  246. share/minizinc/std/at_least_int.mzn
  247. share/minizinc/std/at_least_set.mzn
  248. share/minizinc/std/at_most.mzn
  249. share/minizinc/std/at_most.mzn.deprecated.mzn
  250. share/minizinc/std/at_most1.mzn
  251. share/minizinc/std/at_most_int.mzn
  252. share/minizinc/std/at_most_set.mzn
  253. share/minizinc/std/atleast.mzn
  254. share/minizinc/std/atmost.mzn
  255. share/minizinc/std/atmost1.mzn
  256. share/minizinc/std/bin_packing.mzn
  257. share/minizinc/std/bin_packing_capa.mzn
  258. share/minizinc/std/bin_packing_load.mzn
  259. share/minizinc/std/bin_packing_load_fn.mzn
  260. share/minizinc/std/bounded_path.mzn
  261. share/minizinc/std/circuit.mzn
  262. share/minizinc/std/comparison_rel_array.mzn
  263. share/minizinc/std/connected.mzn
  264. share/minizinc/std/cost_mdd.mzn
  265. share/minizinc/std/cost_regular.mzn
  266. share/minizinc/std/count.mzn
  267. share/minizinc/std/count_eq.mzn
  268. share/minizinc/std/count_fn.mzn
  269. share/minizinc/std/count_geq.mzn
  270. share/minizinc/std/count_gt.mzn
  271. share/minizinc/std/count_leq.mzn
  272. share/minizinc/std/count_lt.mzn
  273. share/minizinc/std/count_neq.mzn
  274. share/minizinc/std/cumulative.mzn
  275. share/minizinc/std/cumulative_opt.mzn
  276. share/minizinc/std/dag.mzn
  277. share/minizinc/std/decreasing.mzn
  278. share/minizinc/std/decreasing_bool.mzn
  279. share/minizinc/std/decreasing_float.mzn
  280. share/minizinc/std/decreasing_int.mzn
  281. share/minizinc/std/decreasing_set.mzn
  282. share/minizinc/std/diffn.mzn
  283. share/minizinc/std/diffn_k.mzn
  284. share/minizinc/std/diffn_nonstrict.mzn
  285. share/minizinc/std/diffn_nonstrict_k.mzn
  286. share/minizinc/std/disjoint.mzn
  287. share/minizinc/std/disjunctive.mzn
  288. share/minizinc/std/disjunctive_opt.mzn
  289. share/minizinc/std/disjunctive_strict.mzn
  290. share/minizinc/std/disjunctive_strict_opt.mzn
  291. share/minizinc/std/distribute.mzn
  292. share/minizinc/std/distribute_fn.mzn
  293. share/minizinc/std/element.mzn
  294. share/minizinc/std/element_bool.mzn
  295. share/minizinc/std/element_float.mzn
  296. share/minizinc/std/element_int.mzn
  297. share/minizinc/std/element_set.mzn
  298. share/minizinc/std/exactly.mzn
  299. share/minizinc/std/exactly.mzn.deprecated.mzn
  300. share/minizinc/std/exactly_int.mzn
  301. share/minizinc/std/exactly_set.mzn
  302. share/minizinc/std/experimental.mzn
  303. share/minizinc/std/flatzinc_builtins.mzn
  304. share/minizinc/std/fzn_all_different_int.mzn
  305. share/minizinc/std/fzn_all_different_int_reif.mzn
  306. share/minizinc/std/fzn_all_different_set.mzn
  307. share/minizinc/std/fzn_all_different_set_reif.mzn
  308. share/minizinc/std/fzn_all_disjoint.mzn
  309. share/minizinc/std/fzn_all_disjoint_reif.mzn
  310. share/minizinc/std/fzn_all_equal_int.mzn
  311. share/minizinc/std/fzn_all_equal_int_reif.mzn
  312. share/minizinc/std/fzn_all_equal_set.mzn
  313. share/minizinc/std/fzn_all_equal_set_reif.mzn
  314. share/minizinc/std/fzn_alldifferent_except.mzn
  315. share/minizinc/std/fzn_alldifferent_except_0.mzn
  316. share/minizinc/std/fzn_alldifferent_except_0_reif.mzn
  317. share/minizinc/std/fzn_alldifferent_except_reif.mzn
  318. share/minizinc/std/fzn_alternative.mzn
  319. share/minizinc/std/fzn_alternative_reif.mzn
  320. share/minizinc/std/fzn_among.mzn
  321. share/minizinc/std/fzn_among_reif.mzn
  322. share/minizinc/std/fzn_arg_max_bool.mzn
  323. share/minizinc/std/fzn_arg_max_float.mzn
  324. share/minizinc/std/fzn_arg_max_int.mzn
  325. share/minizinc/std/fzn_arg_min_bool.mzn
  326. share/minizinc/std/fzn_arg_min_float.mzn
  327. share/minizinc/std/fzn_arg_min_int.mzn
  328. share/minizinc/std/fzn_arg_sort_float.mzn
  329. share/minizinc/std/fzn_arg_sort_float_reif.mzn
  330. share/minizinc/std/fzn_arg_sort_int.mzn
  331. share/minizinc/std/fzn_arg_sort_int_reif.mzn
  332. share/minizinc/std/fzn_at_least_int.mzn
  333. share/minizinc/std/fzn_at_least_int_reif.mzn
  334. share/minizinc/std/fzn_at_least_set.mzn
  335. share/minizinc/std/fzn_at_least_set_reif.mzn
  336. share/minizinc/std/fzn_at_most1.mzn
  337. share/minizinc/std/fzn_at_most1_reif.mzn
  338. share/minizinc/std/fzn_at_most_int.mzn
  339. share/minizinc/std/fzn_at_most_int_reif.mzn
  340. share/minizinc/std/fzn_at_most_set.mzn
  341. share/minizinc/std/fzn_at_most_set_reif.mzn
  342. share/minizinc/std/fzn_bin_packing.mzn
  343. share/minizinc/std/fzn_bin_packing_capa.mzn
  344. share/minizinc/std/fzn_bin_packing_capa_reif.mzn
  345. share/minizinc/std/fzn_bin_packing_load.mzn
  346. share/minizinc/std/fzn_bin_packing_load_reif.mzn
  347. share/minizinc/std/fzn_bin_packing_reif.mzn
  348. share/minizinc/std/fzn_bounded_dpath_enum.mzn
  349. share/minizinc/std/fzn_bounded_dpath_enum_reif.mzn
  350. share/minizinc/std/fzn_bounded_dpath_int.mzn
  351. share/minizinc/std/fzn_bounded_dpath_int_reif.mzn
  352. share/minizinc/std/fzn_bounded_path_enum.mzn
  353. share/minizinc/std/fzn_bounded_path_enum_reif.mzn
  354. share/minizinc/std/fzn_bounded_path_int.mzn
  355. share/minizinc/std/fzn_bounded_path_int_reif.mzn
  356. share/minizinc/std/fzn_circuit.mzn
  357. share/minizinc/std/fzn_circuit_reif.mzn
  358. share/minizinc/std/fzn_connected.mzn
  359. share/minizinc/std/fzn_connected_reif.mzn
  360. share/minizinc/std/fzn_cost_mdd.mzn
  361. share/minizinc/std/fzn_cost_mdd_reif.mzn
  362. share/minizinc/std/fzn_cost_regular.mzn
  363. share/minizinc/std/fzn_cost_regular_reif.mzn
  364. share/minizinc/std/fzn_count_eq.mzn
  365. share/minizinc/std/fzn_count_eq_par.mzn
  366. share/minizinc/std/fzn_count_eq_par_reif.mzn
  367. share/minizinc/std/fzn_count_eq_reif.mzn
  368. share/minizinc/std/fzn_count_geq.mzn
  369. share/minizinc/std/fzn_count_geq_par.mzn
  370. share/minizinc/std/fzn_count_geq_par_reif.mzn
  371. share/minizinc/std/fzn_count_geq_reif.mzn
  372. share/minizinc/std/fzn_count_gt.mzn
  373. share/minizinc/std/fzn_count_gt_par.mzn
  374. share/minizinc/std/fzn_count_gt_par_reif.mzn
  375. share/minizinc/std/fzn_count_gt_reif.mzn
  376. share/minizinc/std/fzn_count_leq.mzn
  377. share/minizinc/std/fzn_count_leq_par.mzn
  378. share/minizinc/std/fzn_count_leq_par_reif.mzn
  379. share/minizinc/std/fzn_count_leq_reif.mzn
  380. share/minizinc/std/fzn_count_lt.mzn
  381. share/minizinc/std/fzn_count_lt_par.mzn
  382. share/minizinc/std/fzn_count_lt_par_reif.mzn
  383. share/minizinc/std/fzn_count_lt_reif.mzn
  384. share/minizinc/std/fzn_count_neq.mzn
  385. share/minizinc/std/fzn_count_neq_par.mzn
  386. share/minizinc/std/fzn_count_neq_par_reif.mzn
  387. share/minizinc/std/fzn_count_neq_reif.mzn
  388. share/minizinc/std/fzn_cumulative.mzn
  389. share/minizinc/std/fzn_cumulative_opt.mzn
  390. share/minizinc/std/fzn_cumulative_opt_reif.mzn
  391. share/minizinc/std/fzn_cumulative_reif.mzn
  392. share/minizinc/std/fzn_dag.mzn
  393. share/minizinc/std/fzn_dag_reif.mzn
  394. share/minizinc/std/fzn_dconnected.mzn
  395. share/minizinc/std/fzn_dconnected_reif.mzn
  396. share/minizinc/std/fzn_decreasing_bool.mzn
  397. share/minizinc/std/fzn_decreasing_bool_reif.mzn
  398. share/minizinc/std/fzn_decreasing_float.mzn
  399. share/minizinc/std/fzn_decreasing_float_reif.mzn
  400. share/minizinc/std/fzn_decreasing_int.mzn
  401. share/minizinc/std/fzn_decreasing_int_reif.mzn
  402. share/minizinc/std/fzn_decreasing_set.mzn
  403. share/minizinc/std/fzn_decreasing_set_reif.mzn
  404. share/minizinc/std/fzn_diffn.mzn
  405. share/minizinc/std/fzn_diffn_k.mzn
  406. share/minizinc/std/fzn_diffn_k_reif.mzn
  407. share/minizinc/std/fzn_diffn_nonstrict.mzn
  408. share/minizinc/std/fzn_diffn_nonstrict_k.mzn
  409. share/minizinc/std/fzn_diffn_nonstrict_k_reif.mzn
  410. share/minizinc/std/fzn_diffn_nonstrict_reif.mzn
  411. share/minizinc/std/fzn_diffn_reif.mzn
  412. share/minizinc/std/fzn_disjoint.mzn
  413. share/minizinc/std/fzn_disjoint_reif.mzn
  414. share/minizinc/std/fzn_disjunctive.mzn
  415. share/minizinc/std/fzn_disjunctive_opt.mzn
  416. share/minizinc/std/fzn_disjunctive_opt_reif.mzn
  417. share/minizinc/std/fzn_disjunctive_reif.mzn
  418. share/minizinc/std/fzn_disjunctive_strict.mzn
  419. share/minizinc/std/fzn_disjunctive_strict_opt.mzn
  420. share/minizinc/std/fzn_disjunctive_strict_opt_reif.mzn
  421. share/minizinc/std/fzn_disjunctive_strict_reif.mzn
  422. share/minizinc/std/fzn_distribute.mzn
  423. share/minizinc/std/fzn_distribute_reif.mzn
  424. share/minizinc/std/fzn_dpath_enum.mzn
  425. share/minizinc/std/fzn_dpath_enum_reif.mzn
  426. share/minizinc/std/fzn_dpath_int.mzn
  427. share/minizinc/std/fzn_dpath_int_reif.mzn
  428. share/minizinc/std/fzn_dreachable_enum.mzn
  429. share/minizinc/std/fzn_dreachable_enum_reif.mzn
  430. share/minizinc/std/fzn_dreachable_int.mzn
  431. share/minizinc/std/fzn_dreachable_int_reif.mzn
  432. share/minizinc/std/fzn_dsteiner.mzn
  433. share/minizinc/std/fzn_dsteiner_reif.mzn
  434. share/minizinc/std/fzn_dtree_enum.mzn
  435. share/minizinc/std/fzn_dtree_enum_reif.mzn
  436. share/minizinc/std/fzn_dtree_int.mzn
  437. share/minizinc/std/fzn_dtree_int_reif.mzn
  438. share/minizinc/std/fzn_dwst.mzn
  439. share/minizinc/std/fzn_dwst_reif.mzn
  440. share/minizinc/std/fzn_exactly_int.mzn
  441. share/minizinc/std/fzn_exactly_int_reif.mzn
  442. share/minizinc/std/fzn_exactly_set.mzn
  443. share/minizinc/std/fzn_exactly_set_reif.mzn
  444. share/minizinc/std/fzn_geost.mzn
  445. share/minizinc/std/fzn_geost_bb.mzn
  446. share/minizinc/std/fzn_geost_bb_reif.mzn
  447. share/minizinc/std/fzn_geost_nonoverlap_k.mzn
  448. share/minizinc/std/fzn_geost_nonoverlap_k_reif.mzn
  449. share/minizinc/std/fzn_geost_reif.mzn
  450. share/minizinc/std/fzn_geost_smallest_bb.mzn
  451. share/minizinc/std/fzn_geost_smallest_bb_reif.mzn
  452. share/minizinc/std/fzn_global_cardinality.mzn
  453. share/minizinc/std/fzn_global_cardinality_closed.mzn
  454. share/minizinc/std/fzn_global_cardinality_closed_reif.mzn
  455. share/minizinc/std/fzn_global_cardinality_low_up.mzn
  456. share/minizinc/std/fzn_global_cardinality_low_up_closed.mzn
  457. share/minizinc/std/fzn_global_cardinality_low_up_closed_reif.mzn
  458. share/minizinc/std/fzn_global_cardinality_low_up_reif.mzn
  459. share/minizinc/std/fzn_global_cardinality_reif.mzn
  460. share/minizinc/std/fzn_if_then_else_bool.mzn
  461. share/minizinc/std/fzn_if_then_else_float.mzn
  462. share/minizinc/std/fzn_if_then_else_int.mzn
  463. share/minizinc/std/fzn_if_then_else_opt_bool.mzn
  464. share/minizinc/std/fzn_if_then_else_opt_float.mzn
  465. share/minizinc/std/fzn_if_then_else_opt_int.mzn
  466. share/minizinc/std/fzn_if_then_else_partiality.mzn
  467. share/minizinc/std/fzn_if_then_else_set.mzn
  468. share/minizinc/std/fzn_if_then_else_var_bool.mzn
  469. share/minizinc/std/fzn_if_then_else_var_float.mzn
  470. share/minizinc/std/fzn_if_then_else_var_int.mzn
  471. share/minizinc/std/fzn_if_then_else_var_opt_bool.mzn
  472. share/minizinc/std/fzn_if_then_else_var_opt_float.mzn
  473. share/minizinc/std/fzn_if_then_else_var_opt_int.mzn
  474. share/minizinc/std/fzn_if_then_else_var_set.mzn
  475. share/minizinc/std/fzn_increasing_bool.mzn
  476. share/minizinc/std/fzn_increasing_bool_reif.mzn
  477. share/minizinc/std/fzn_increasing_float.mzn
  478. share/minizinc/std/fzn_increasing_float_reif.mzn
  479. share/minizinc/std/fzn_increasing_int.mzn
  480. share/minizinc/std/fzn_increasing_int_reif.mzn
  481. share/minizinc/std/fzn_increasing_set.mzn
  482. share/minizinc/std/fzn_increasing_set_reif.mzn
  483. share/minizinc/std/fzn_int_set_channel.mzn
  484. share/minizinc/std/fzn_int_set_channel_reif.mzn
  485. share/minizinc/std/fzn_inverse.mzn
  486. share/minizinc/std/fzn_inverse_in_range.mzn
  487. share/minizinc/std/fzn_inverse_in_range_reif.mzn
  488. share/minizinc/std/fzn_inverse_reif.mzn
  489. share/minizinc/std/fzn_inverse_set.mzn
  490. share/minizinc/std/fzn_inverse_set_reif.mzn
  491. share/minizinc/std/fzn_knapsack.mzn
  492. share/minizinc/std/fzn_knapsack_reif.mzn
  493. share/minizinc/std/fzn_lex2.mzn
  494. share/minizinc/std/fzn_lex2_reif.mzn
  495. share/minizinc/std/fzn_lex_less_bool.mzn
  496. share/minizinc/std/fzn_lex_less_bool_reif.mzn
  497. share/minizinc/std/fzn_lex_less_float.mzn
  498. share/minizinc/std/fzn_lex_less_float_reif.mzn
  499. share/minizinc/std/fzn_lex_less_int.mzn
  500. share/minizinc/std/fzn_lex_less_int_reif.mzn
  501. share/minizinc/std/fzn_lex_less_set.mzn
  502. share/minizinc/std/fzn_lex_less_set_reif.mzn
  503. share/minizinc/std/fzn_lex_lesseq_bool.mzn
  504. share/minizinc/std/fzn_lex_lesseq_bool_reif.mzn
  505. share/minizinc/std/fzn_lex_lesseq_float.mzn
  506. share/minizinc/std/fzn_lex_lesseq_float_reif.mzn
  507. share/minizinc/std/fzn_lex_lesseq_int.mzn
  508. share/minizinc/std/fzn_lex_lesseq_int_reif.mzn
  509. share/minizinc/std/fzn_lex_lesseq_set.mzn
  510. share/minizinc/std/fzn_lex_lesseq_set_reif.mzn
  511. share/minizinc/std/fzn_link_set_to_booleans.mzn
  512. share/minizinc/std/fzn_link_set_to_booleans_reif.mzn
  513. share/minizinc/std/fzn_mdd.mzn
  514. share/minizinc/std/fzn_mdd_nondet.mzn
  515. share/minizinc/std/fzn_mdd_nondet_reif.mzn
  516. share/minizinc/std/fzn_mdd_reif.mzn
  517. share/minizinc/std/fzn_member_bool.mzn
  518. share/minizinc/std/fzn_member_bool_reif.mzn
  519. share/minizinc/std/fzn_member_float.mzn
  520. share/minizinc/std/fzn_member_float_reif.mzn
  521. share/minizinc/std/fzn_member_int.mzn
  522. share/minizinc/std/fzn_member_int_reif.mzn
  523. share/minizinc/std/fzn_member_set.mzn
  524. share/minizinc/std/fzn_member_set_reif.mzn
  525. share/minizinc/std/fzn_network_flow.mzn
  526. share/minizinc/std/fzn_network_flow_cost.mzn
  527. share/minizinc/std/fzn_network_flow_cost_reif.mzn
  528. share/minizinc/std/fzn_network_flow_reif.mzn
  529. share/minizinc/std/fzn_neural_net.mzn
  530. share/minizinc/std/fzn_neural_net_reif.mzn
  531. share/minizinc/std/fzn_nvalue.mzn
  532. share/minizinc/std/fzn_nvalue_reif.mzn
  533. share/minizinc/std/fzn_partition_set.mzn
  534. share/minizinc/std/fzn_partition_set_reif.mzn
  535. share/minizinc/std/fzn_path_enum.mzn
  536. share/minizinc/std/fzn_path_enum_reif.mzn
  537. share/minizinc/std/fzn_path_int.mzn
  538. share/minizinc/std/fzn_path_int_reif.mzn
  539. share/minizinc/std/fzn_piecewise_linear.mzn
  540. share/minizinc/std/fzn_piecewise_linear_reif.mzn
  541. share/minizinc/std/fzn_range.mzn
  542. share/minizinc/std/fzn_range_reif.mzn
  543. share/minizinc/std/fzn_reachable_enum.mzn
  544. share/minizinc/std/fzn_reachable_enum_reif.mzn
  545. share/minizinc/std/fzn_reachable_int.mzn
  546. share/minizinc/std/fzn_reachable_int_reif.mzn
  547. share/minizinc/std/fzn_regular.mzn
  548. share/minizinc/std/fzn_regular_nfa.mzn
  549. share/minizinc/std/fzn_regular_nfa_reif.mzn
  550. share/minizinc/std/fzn_regular_nfa_set.mzn
  551. share/minizinc/std/fzn_regular_nfa_set_reif.mzn
  552. share/minizinc/std/fzn_regular_regexp.mzn
  553. share/minizinc/std/fzn_regular_reif.mzn
  554. share/minizinc/std/fzn_regular_set.mzn
  555. share/minizinc/std/fzn_regular_set_reif.mzn
  556. share/minizinc/std/fzn_roots.mzn
  557. share/minizinc/std/fzn_roots_reif.mzn
  558. share/minizinc/std/fzn_seq_precede_chain_int.mzn
  559. share/minizinc/std/fzn_seq_precede_chain_int_reif.mzn
  560. share/minizinc/std/fzn_seq_precede_chain_set.mzn
  561. share/minizinc/std/fzn_seq_precede_chain_set_reif.mzn
  562. share/minizinc/std/fzn_set_member.mzn
  563. share/minizinc/std/fzn_set_member_reif.mzn
  564. share/minizinc/std/fzn_sliding_sum.mzn
  565. share/minizinc/std/fzn_sliding_sum_reif.mzn
  566. share/minizinc/std/fzn_sort.mzn
  567. share/minizinc/std/fzn_sort_reif.mzn
  568. share/minizinc/std/fzn_span.mzn
  569. share/minizinc/std/fzn_span_reif.mzn
  570. share/minizinc/std/fzn_steiner.mzn
  571. share/minizinc/std/fzn_steiner_reif.mzn
  572. share/minizinc/std/fzn_strict_lex2.mzn
  573. share/minizinc/std/fzn_strict_lex2_reif.mzn
  574. share/minizinc/std/fzn_strictly_decreasing_bool.mzn
  575. share/minizinc/std/fzn_strictly_decreasing_bool_reif.mzn
  576. share/minizinc/std/fzn_strictly_decreasing_int.mzn
  577. share/minizinc/std/fzn_strictly_decreasing_int_reif.mzn
  578. share/minizinc/std/fzn_strictly_increasing_bool.mzn
  579. share/minizinc/std/fzn_strictly_increasing_bool_reif.mzn
  580. share/minizinc/std/fzn_strictly_increasing_int.mzn
  581. share/minizinc/std/fzn_strictly_increasing_int_opt.mzn
  582. share/minizinc/std/fzn_strictly_increasing_int_reif.mzn
  583. share/minizinc/std/fzn_subcircuit.mzn
  584. share/minizinc/std/fzn_subcircuit_reif.mzn
  585. share/minizinc/std/fzn_subgraph_enum.mzn
  586. share/minizinc/std/fzn_subgraph_enum_reif.mzn
  587. share/minizinc/std/fzn_subgraph_int.mzn
  588. share/minizinc/std/fzn_subgraph_int_reif.mzn
  589. share/minizinc/std/fzn_sum_pred.mzn
  590. share/minizinc/std/fzn_sum_pred_reif.mzn
  591. share/minizinc/std/fzn_sum_set.mzn
  592. share/minizinc/std/fzn_sum_set_reif.mzn
  593. share/minizinc/std/fzn_symmetric_all_different.mzn
  594. share/minizinc/std/fzn_symmetric_all_different_reif.mzn
  595. share/minizinc/std/fzn_table_bool.mzn
  596. share/minizinc/std/fzn_table_bool_reif.mzn
  597. share/minizinc/std/fzn_table_int.mzn
  598. share/minizinc/std/fzn_table_int_opt.mzn
  599. share/minizinc/std/fzn_table_int_reif.mzn
  600. share/minizinc/std/fzn_transitive_closure.mzn
  601. share/minizinc/std/fzn_tree_enum.mzn
  602. share/minizinc/std/fzn_tree_enum_reif.mzn
  603. share/minizinc/std/fzn_tree_int.mzn
  604. share/minizinc/std/fzn_tree_int_reif.mzn
  605. share/minizinc/std/fzn_value_precede_chain_int.mzn
  606. share/minizinc/std/fzn_value_precede_chain_int_reif.mzn
  607. share/minizinc/std/fzn_value_precede_chain_set.mzn
  608. share/minizinc/std/fzn_value_precede_chain_set_reif.mzn
  609. share/minizinc/std/fzn_value_precede_int.mzn
  610. share/minizinc/std/fzn_value_precede_int_opt.mzn
  611. share/minizinc/std/fzn_value_precede_int_reif.mzn
  612. share/minizinc/std/fzn_value_precede_set.mzn
  613. share/minizinc/std/fzn_value_precede_set_reif.mzn
  614. share/minizinc/std/fzn_write.mzn
  615. share/minizinc/std/fzn_write_reif.mzn
  616. share/minizinc/std/fzn_writes.mzn
  617. share/minizinc/std/fzn_writes_reif.mzn
  618. share/minizinc/std/fzn_writes_seq.mzn
  619. share/minizinc/std/fzn_writes_seq_reif.mzn
  620. share/minizinc/std/fzn_wst.mzn
  621. share/minizinc/std/fzn_wst_reif.mzn
  622. share/minizinc/std/geost.mzn
  623. share/minizinc/std/global_cardinality.mzn
  624. share/minizinc/std/global_cardinality_closed.mzn
  625. share/minizinc/std/global_cardinality_closed_fn.mzn
  626. share/minizinc/std/global_cardinality_fn.mzn
  627. share/minizinc/std/global_cardinality_low_up.mzn
  628. share/minizinc/std/global_cardinality_low_up_closed.mzn
  629. share/minizinc/std/globals.mzn
  630. share/minizinc/std/increasing.mzn
  631. share/minizinc/std/increasing_bool.mzn
  632. share/minizinc/std/increasing_float.mzn
  633. share/minizinc/std/increasing_int.mzn
  634. share/minizinc/std/increasing_set.mzn
  635. share/minizinc/std/int_set_channel.mzn
  636. share/minizinc/std/inverse.mzn
  637. share/minizinc/std/inverse_fn.mzn
  638. share/minizinc/std/inverse_in_range.mzn
  639. share/minizinc/std/inverse_set.mzn
  640. share/minizinc/std/knapsack.mzn
  641. share/minizinc/std/lex2.mzn
  642. share/minizinc/std/lex_greater.mzn
  643. share/minizinc/std/lex_greatereq.mzn
  644. share/minizinc/std/lex_less.mzn
  645. share/minizinc/std/lex_less_bool.mzn
  646. share/minizinc/std/lex_less_float.mzn
  647. share/minizinc/std/lex_less_int.mzn
  648. share/minizinc/std/lex_less_set.mzn
  649. share/minizinc/std/lex_lesseq.mzn
  650. share/minizinc/std/lex_lesseq_bool.mzn
  651. share/minizinc/std/lex_lesseq_float.mzn
  652. share/minizinc/std/lex_lesseq_int.mzn
  653. share/minizinc/std/lex_lesseq_set.mzn
  654. share/minizinc/std/link_set_to_booleans.mzn
  655. share/minizinc/std/maximum.mzn
  656. share/minizinc/std/mdd.mzn
  657. share/minizinc/std/mdd_nondet.mzn
  658. share/minizinc/std/member.mzn
  659. share/minizinc/std/member_bool.mzn
  660. share/minizinc/std/member_float.mzn
  661. share/minizinc/std/member_int.mzn
  662. share/minizinc/std/member_set.mzn
  663. share/minizinc/std/minimum.mzn
  664. share/minizinc/std/network_flow.mzn
  665. share/minizinc/std/neural_net.mzn
  666. share/minizinc/std/nosets.mzn
  667. share/minizinc/std/nvalue.mzn
  668. share/minizinc/std/nvalue_fn.mzn
  669. share/minizinc/std/partition_set.mzn
  670. share/minizinc/std/path.mzn
  671. share/minizinc/std/piecewise_linear.mzn
  672. share/minizinc/std/range.mzn
  673. share/minizinc/std/range_fn.mzn
  674. share/minizinc/std/reachable.mzn
  675. share/minizinc/std/redefinitions-2.0.2.mzn
  676. share/minizinc/std/redefinitions-2.0.mzn
  677. share/minizinc/std/redefinitions-2.1.1.mzn
  678. share/minizinc/std/redefinitions-2.1.mzn
  679. share/minizinc/std/redefinitions-2.2.1.mzn
  680. share/minizinc/std/redefinitions-2.3.3.mzn
  681. share/minizinc/std/redefinitions.mzn
  682. share/minizinc/std/regular.mzn
  683. share/minizinc/std/regular_nfa.mzn
  684. share/minizinc/std/regular_regexp.mzn
  685. share/minizinc/std/regular_set.mzn
  686. share/minizinc/std/roots.mzn
  687. share/minizinc/std/roots_fn.mzn
  688. share/minizinc/std/seq_precede_chain.mzn
  689. share/minizinc/std/set_member.mzn
  690. share/minizinc/std/sliding_sum.mzn
  691. share/minizinc/std/solver_redefinitions.mzn
  692. share/minizinc/std/sort.mzn
  693. share/minizinc/std/sort_fn.mzn
  694. share/minizinc/std/span.mzn
  695. share/minizinc/std/stdlib.mzn
  696. share/minizinc/std/stdlib/stdlib_ann.mzn
  697. share/minizinc/std/stdlib/stdlib_array.mzn
  698. share/minizinc/std/stdlib/stdlib_coercion.mzn
  699. share/minizinc/std/stdlib/stdlib_compare.mzn
  700. share/minizinc/std/stdlib/stdlib_debug.mzn
  701. share/minizinc/std/stdlib/stdlib_enum.mzn
  702. share/minizinc/std/stdlib/stdlib_internal.mzn
  703. share/minizinc/std/stdlib/stdlib_ite.mzn
  704. share/minizinc/std/stdlib/stdlib_language.mzn
  705. share/minizinc/std/stdlib/stdlib_logic.mzn
  706. share/minizinc/std/stdlib/stdlib_math.mzn
  707. share/minizinc/std/stdlib/stdlib_opt.mzn
  708. share/minizinc/std/stdlib/stdlib_random.mzn
  709. share/minizinc/std/stdlib/stdlib_reflect.mzn
  710. share/minizinc/std/stdlib/stdlib_set.mzn
  711. share/minizinc/std/stdlib/stdlib_sort.mzn
  712. share/minizinc/std/stdlib/stdlib_string.mzn
  713. share/minizinc/std/steiner.mzn
  714. share/minizinc/std/strict_lex2.mzn
  715. share/minizinc/std/strictly_decreasing.mzn
  716. share/minizinc/std/strictly_increasing.mzn
  717. share/minizinc/std/subcircuit.mzn
  718. share/minizinc/std/subgraph.mzn
  719. share/minizinc/std/sum_pred.mzn
  720. share/minizinc/std/sum_set.mzn
  721. share/minizinc/std/symmetric_all_different.mzn
  722. share/minizinc/std/table.mzn
  723. share/minizinc/std/table_bool.mzn
  724. share/minizinc/std/table_int.mzn
  725. share/minizinc/std/tree.mzn
  726. share/minizinc/std/value_precede.mzn
  727. share/minizinc/std/value_precede_chain.mzn
  728. share/minizinc/std/value_precede_chain_int.mzn
  729. share/minizinc/std/value_precede_chain_set.mzn
  730. share/minizinc/std/value_precede_int.mzn
  731. share/minizinc/std/value_precede_set.mzn
  732. share/minizinc/std/weighted_spanning_tree.mzn
  733. share/minizinc/std/write.mzn
  734. share/minizinc/std/writes.mzn
  735. share/minizinc/std/writes_seq.mzn
  736. @owner
  737. @group
  738. @mode
Collapse this list.
Dependency lines:
  • minizinc>0:math/minizinc
To install the port: cd /usr/ports/math/minizinc/ && make install clean
To add the package: pkg install minizinc
PKGNAME: minizinc
Flavors: there is no flavor information for this port.
distinfo:
Packages: (move your mouse over the cells for more information)
minizinc
ABIlatestquarterly
FreeBSD:11:aarch64--
FreeBSD:11:amd642.5.1-
FreeBSD:11:armv6--
FreeBSD:11:i3862.5.1-
FreeBSD:11:mips--
FreeBSD:11:mips64--
FreeBSD:12:aarch64--
FreeBSD:12:amd642.5.12.4.3.20200807_1
FreeBSD:12:armv6--
FreeBSD:12:armv7--
FreeBSD:12:i3862.5.12.4.3.20200807_1
FreeBSD:12:mips--
FreeBSD:12:mips64--
FreeBSD:12:powerpc64--
FreeBSD:13:aarch64--
FreeBSD:13:amd642.5.1-
FreeBSD:13:armv6--
FreeBSD:13:armv7--
FreeBSD:13:i3862.5.1-
FreeBSD:13:mips--
FreeBSD:13:mips64--
FreeBSD:13:powerpc64--
 

Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. bison : devel/bison
  2. cmake : devel/cmake
  3. ninja : devel/ninja
Library dependencies:
  1. libCbc.so : math/cbc
  2. libCgl.so : math/cgl
  3. libgecodekernel.so : devel/gecode
  4. libOsiClp.so : math/clp
This port is required by:
for Run
  1. math/minizinc-ide

Configuration Options

USES:

Master Sites:
Expand this list (1 items)
    Collapse this list.
  1. https://codeload.github.com/MiniZinc/libminizinc/tar.gz/2.5.1?dummy=/
  2. Collapse this list.

Number of commits found: 4

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
25 Oct 2020 18:49:59
Original commit files touched by this commit  2.5.1
Revision:553281
yuri search for other commits by this committer
math/minizinc: Update 2.5.0 -> 2.5.1

Reported by:	portscout
11 Oct 2020 22:29:37
Original commit files touched by this commit  2.5.0
Revision:552080
yuri search for other commits by this committer
math/minizinc: Update 2.4.3.20200807 -> 2.5.0

Reported by:	portscout
10 Aug 2020 16:19:07
Original commit files touched by this commit  2.4.3.20200807_1
Revision:544623
yuri search for other commits by this committer
math/minizinc: Fix typo in GH_ACCOUNT; Set default to the MiniZinc standard
library
10 Aug 2020 05:27:33
Original commit files touched by this commit  2.4.3.20200807
Revision:544589
yuri search for other commits by this committer
New port: math/minizinc: Constraint modeling language

Number of commits found: 4

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD

This site
What is FreshPorts?
About the authors
Issues
FAQ
How big is it?
The latest upgrade!
Privacy
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
motionOct 28
freetype2Oct 22
chromiumOct 21
mysql56-serverOct 21
mysql57-serverOct 21
mysql80-serverOct 21
mariadb103-clientOct 18
mariadb103-serverOct 18
mariadb104-clientOct 18
mariadb104-serverOct 18
mariadb105-clientOct 18
mariadb105-serverOct 18
drupal7Oct 17
py-matrix-synapseOct 17
powerdns-recursorOct 14

8 vulnerabilities affecting 102 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last updated:
2020-10-28 10:26:17


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 41277
Broken 57
Deprecated 272
Ignore 295
Forbidden 4
Restricted 146
No CDROM 73
Vulnerable 19
Expired 9
Set to expire 243
Interactive 0
new 24 hours 2
new 48 hours9
new 7 days32
new fortnight113
new month191

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2020 Dan Langille. All rights reserved.