Search Criteria
Package Details: glpk-cut-log 1.2.0-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: | 2024-09-08 20:43 (UTC) |
Dependencies (5)
- autoconf (autoconf-gitAUR) (make)
- automake (automake-gitAUR) (make)
- bash (bash-devel-gitAUR, bash-gitAUR) (make)
- libtool (libtool-gitAUR) (make)
- patch (patch-gitAUR) (make)
Required by (34)
- 20kly (requires glpk)
- 20kly-git (requires glpk)
- amino-git (requires glpk) (optional)
- citip-git (requires glpk)
- cmpl-bin (requires glpk)
- concorde-glpk (requires glpk)
- cvc5-bestperformance
- dafs-git (requires glpk) (optional)
- feelpp (requires glpk)
- gnudatalanguage (requires glpk)
- ipknot (requires glpk)
- krislibrary-git (requires glpk)
- libmesh-petsc (requires glpk)
- macaulay2 (requires glpk)
- mccs (requires glpk)
- msc-generator (requires glpk)
- net2plan (requires glpk)
- octave-hg (requires glpk)
- openms (requires glpk)
- openms-bin (requires glpk)
- Show 14 more...