aboutsummaryrefslogtreecommitdiff
path: root/math/minizinc/Makefile
Commit message (Expand)AuthorAgeFilesLines
* math/minizinc: update 2.8.2 → 2.8.3Yuri Victorovich2024-02-021-1/+1
* math/minizinc: update 2.8.0 → 2.8.2Yuri Victorovich2023-12-221-1/+1
* math/minizinc{,-ide}: update 2.7.6 → 2.8.0Yuri Victorovich2023-11-161-1/+1
* math/minizinc: update 2.6.4 → 2.7.6Yuri Victorovich2023-11-051-2/+4
* *: Bump PORTREVISIONs for math/mpc update to 1.3.1Gerald Pfeifer2023-04-231-0/+1
* Add WWW entries to port MakefilesStefan Eßer2022-09-071-0/+1
* math/minizinc: Update 2.6.3 -> 2.6.4Yuri Victorovich2022-06-281-1/+1
* math/minizinc: Update 2.6.2 -> 2.6.3Yuri Victorovich2022-05-071-1/+1
* math/minizinc: Update 2.6.1 -> 2.6.2Yuri Victorovich2022-03-241-1/+1
* math/minizinc: Update 2.6.0 -> 2.6.1Yuri Victorovich2022-03-131-1/+1
* math/minizinc: Update 2.5.5 -> 2.6.0Yuri Victorovich2022-02-221-2/+3
* math/gecode: Change to GNU autotools; Add options; Add test targetsYuri Victorovich2021-05-081-1/+1
* math/minizinc: Bump after gecode move between categoriesYuri Victorovich2021-05-041-2/+2
* math/minizinc: Add patch to skip path that doesn't exist on FreeBSDYuri Victorovich2021-05-021-3/+7
* One more small cleanup, forgotten yesterday.Mathieu Arnold2021-04-071-1/+0
* Remove # $FreeBSD$ from Makefiles.Mathieu Arnold2021-04-061-1/+0
* math/minizinc: Update 2.5.3 -> 2.5.5Yuri Victorovich2021-03-291-1/+1
* math/minizinc: Update 2.5.2 -> 2.5.3Yuri Victorovich2020-11-291-1/+1
* math/minizinc: Update 2.5.1 -> 2.5.2Yuri Victorovich2020-11-131-1/+1
* math/minizinc: The WITH_SCIP option isn't broken any more as of version 2.5.1Yuri Victorovich2020-11-041-1/+0
* math/minizinc: Update 2.5.0 -> 2.5.1Yuri Victorovich2020-10-251-3/+3
* math/minizinc: Update 2.4.3.20200807 -> 2.5.0Yuri Victorovich2020-10-111-2/+1
* math/minizinc: Fix typo in GH_ACCOUNT; Set default to the MiniZinc standard l...Yuri Victorovich2020-08-101-1/+6
* New port: math/minizinc: Constraint modeling languageYuri Victorovich2020-08-101-0/+34
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-05 05:39:49 +0000