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-static-gitAUR, bash-devel-gitAUR, busybox-coreutilsAUR, 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)
- panopticon-git (requires glpk)
- picat (requires glpk) (optional)
- pure-glpk (requires glpk)
- python-or-tools (requires glpk)
- python-pm4py (requires glpk)
- python-pyomo (requires glpk) (optional)
- python-swiglpk (requires glpk)
- python-swiglpk-git (requires glpk)
- python2-diethack (requires glpk)
- r-igraph (requires glpk)
- sagemath-git (requires glpk)
- sixcells (requires glpk) (optional)
- stormchecker (requires glpk)
- stormchecker-git (requires glpk)