Search Criteria
Package Details: glpk-cut-log 1.0.8-1
Package Actions
| Git Clone URL: | https://aur.archlinux.org/glpk-cut-log.git (read-only, click to copy) |
|---|---|
| Package Base: | glpk-cut-log |
| Description: | A patched version of GLPK for cvc5 |
| Upstream URL: | https://github.com/cvc5/cvc5 |
| Licenses: | GPL3 |
| Conflicts: | glpk |
| Provides: | glpk |
| Submitter: | Neferin |
| Maintainer: | Neferin |
| Last Packager: | Neferin |
| Votes: | 0 |
| Popularity: | 0.000000 |
| First Submitted: | 2023-09-16 21:06 (UTC) |
| Last Updated: | 2023-09-16 21:06 (UTC) |
Dependencies (5)
- autoconf (autoconf-git) (make)
- automake (automake-1.7, automake-1.11, automake-1.15, automake-1.14, automake-git) (make)
- bash (bash-devel-static-git, bash-git, bash-xdg, bash-devel-git, busybox-coreutils) (make)
- libtool (libtool-git) (make)
- patch (patch-git) (make)
Required by (37)
- 20kly (requires glpk)
- 20kly-git (requires glpk)
- amino-git (requires glpk) (optional)
- citip-git (requires glpk)
- citip-git (requires glpk) (make)
- cmpl-bin (requires glpk)
- coin-or-osi-git (requires glpk)
- concorde-glpk (requires glpk)
- cvc5-bestperformance
- dafs-git (requires glpk)
- feelpp (requires glpk)
- gnudatalanguage (requires glpk)
- ipknot (requires glpk)
- klampt (requires glpk)
- krislibrary-git (requires glpk)
- libmesh-petsc (requires glpk)
- macaulay2 (requires glpk)
- mccs (requires glpk)
- msc-generator (requires glpk)
- net2plan (requires glpk)
- Show 17 more...