|
colorcode
|
0.8.5-2 |
1 |
0.00
|
Advanced MasterMind game and solver |
zoe
|
2016-05-01 20:47 (UTC) |
|
pipgrip
|
0.10.13-2 |
0 |
0.00
|
Lightweight pip dependency resolver with deptree preview functionality based on the PubGrub algorithm |
yochananmarqos
|
2024-03-27 16:54 (UTC) |
|
lazylpsolverlibs-git
|
7d32dc6-1 |
0 |
0.00
|
lazylpsolverlibs provides libraries that can replace at link time those of commercial lp solvers. |
yhfudev
|
2015-06-09 16:36 (UTC) |
|
qbsolv
|
0.3.4-1 |
1 |
0.00
|
A decomposing solver that finds a minimum value of a large quadratic unconstrained binary optimization (QUBO) problem |
yasuo-ozu
|
2022-01-30 04:05 (UTC) |
|
vlsmsolver
|
1.2.1-1 |
1 |
0.00
|
program that aims to help doing vlsm subnetting. |
y1n0
|
2018-12-06 11:11 (UTC) |
|
aspcud
|
1.9.6-1 |
1 |
0.00
|
Solver for package dependencies |
xuanruiqi
|
2022-08-15 16:44 (UTC) |
|
squolem
|
2.02-1 |
1 |
0.00
|
Skolemization-based Quantified Boolean Formula (QBF) solver that generates certificates |
xrchz
|
2015-06-15 06:41 (UTC) |
|
go-pdirs-git
|
0.1.2-1 |
1 |
0.03
|
Project directory resolver |
xprnio
|
2023-11-18 13:31 (UTC) |
|
go-pdirs
|
0.1.2-2 |
1 |
0.03
|
Project directory resolver |
xprnio
|
2023-11-18 13:34 (UTC) |
|
python-constraint-git
|
2.0.0b3.r10.g2357471-1 |
0 |
0.00
|
Solvers for Constraint Satisfaction Problems (CSPs) over finite domains in simple and pure Python |
xiretza
|
2023-09-24 14:23 (UTC) |
|
boolector-git
|
3.2.2.r18.g1a89c229-1 |
0 |
0.00
|
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions |
xiretza
|
2022-05-03 13:12 (UTC) |
|
sundials-seq
|
7.0.0-1 |
0 |
0.00
|
Suite of nonlinear differential/algebraic equation solvers (sequential version) |
xantares
|
2024-03-14 17:55 (UTC) |
|
mingw-w64-mumps
|
5.7.1-1 |
0 |
0.00
|
Sparse solver library using Gaussian elimination (mingw-w64) |
xantares
|
2024-05-06 17:42 (UTC) |
|
mingw-w64-lpsolve
|
5.5.2.11-1 |
0 |
0.00
|
a Mixed Integer Linear Programming (MILP) solver (mingw-w64) |
xantares
|
2023-05-02 16:47 (UTC) |
|
mingw-w64-coin-or-osi
|
0.108.10-1 |
0 |
0.00
|
COIN-OR Open Solver Interface (mingw-w64) |
xantares
|
2024-04-13 21:31 (UTC) |
|
mingw-w64-coin-or-clp
|
1.17.9-1 |
0 |
0.00
|
COIN-OR linear programming solver (mingw-w64) |
xantares
|
2023-10-25 22:18 (UTC) |
|
mingw-w64-coin-or-cbc
|
2.10.11-1 |
0 |
0.00
|
COIN-OR branch-and-cut mixed integer programming solver (mingw-w64) |
xantares
|
2023-10-25 22:21 (UTC) |
|
mingw-w64-coin-or-asl
|
2.0.1-1 |
0 |
0.00
|
COIN-OR autotools harness to build AMPL Solver Library (mingw-w64) |
xantares
|
2023-11-11 10:47 (UTC) |
|
mingw-w64-ceres-solver
|
2.2.0-4 |
0 |
0.00
|
Solver for nonlinear least squares problems (mingw-w64) |
xantares
|
2024-03-31 11:02 (UTC) |
|
trlib-git
|
r163.02921d1-1 |
0 |
0.00
|
Trust Region Subproblem Solver Library |
x2b
|
2019-01-09 17:24 (UTC) |
|
astap-bin-qt5
|
2024.03.27-1 |
1 |
0.00
|
Astrometric (plate) solver, stacking of images, photometry and FITS viewer |
wrenby
|
2024-03-28 13:12 (UTC) |
|
python-swiglpk-git
|
4.65.1.r1.gec985c1-4 |
0 |
0.00
|
A Python interface to the GLPK optimization solver. Git version. |
Viech
|
2021-02-06 14:15 (UTC) |
|
python-swiglpk
|
5.0.8-1 |
1 |
0.00
|
A Python interface to the GLPK optimization solver. |
Viech
|
2023-01-28 10:55 (UTC) |
|
python-smcp
|
0.4.6-5 |
0 |
0.00
|
A Python solver for sparse matrix cone programs. |
Viech
|
2021-02-06 14:31 (UTC) |
|
python-picos-git
|
2.3.r0.g11b4ff3-1 |
1 |
0.00
|
A Python interface to conic optimization solvers. Git version. |
Viech
|
2021-10-07 09:22 (UTC) |
|
python-picos
|
2.4-1 |
2 |
0.00
|
A Python interface to conic optimization solvers. |
Viech
|
2022-02-12 11:42 (UTC) |
|
psisolver-git
|
24d07f7-1 |
0 |
0.00
|
Exact Inference Engine for Probabilistic Programs |
victor.vde
|
2018-08-25 07:38 (UTC) |
|
python-grilops
|
0.10.3-1 |
1 |
0.00
|
GRId LOgic Puzzle Solver |
vEnhance
|
2024-04-30 22:26 (UTC) |
|
gurobi81
|
8.1.0-1 |
0 |
0.00
|
State-of-the-art solver for mathematical programming |
user20159
|
2021-01-16 20:09 (UTC) |
|
python-einsteinpy_geodesics
|
0.1.0-1 |
0 |
0.00
|
Python wrapper for a Julia solver for geodesics in the Kerr family of spacetimes |
Universebenzene
|
2020-08-31 11:44 (UTC) |
|
flaresolverr-bin
|
3.3.17-1 |
2 |
0.00
|
A proxy server to bypass Cloudflare protection |
txtsd
|
2024-04-12 04:52 (UTC) |
|
flaresolverr
|
3.3.17-1 |
6 |
0.00
|
A proxy server to bypass Cloudflare protection |
txtsd
|
2024-04-12 04:41 (UTC) |
|
dev-tld-resolver-git
|
r12.g4924eff-1 |
0 |
0.00
|
Simple top level domain (NSSwitch hosts) resolver for linux based development environment. |
twnaing
|
2021-09-11 13:23 (UTC) |
|
postfix-mta-sts-resolver
|
1.3.0-1 |
3 |
0.00
|
Daemon for MTA-STS policy enforcement for postfix |
tohojo
|
2023-03-26 20:21 (UTC) |
|
silentarmy-nvmod-git
|
v5.29.g016f8e8-1 |
2 |
0.00
|
GPU Zcash Equihash solver optimized for Nvidia and CUDA 8 |
timde9
|
2016-12-18 00:50 (UTC) |
|
python-superscs
|
1.3.2-1 |
0 |
0.00
|
Convex cone solver via operator splitting. |
thrasibule
|
2018-05-24 15:22 (UTC) |
|
python-openems-git
|
v0.0.36.r15.g1ccf094-1 |
2 |
0.00
|
a free and open source EC-FDTD solver |
thasti
|
2024-03-16 19:29 (UTC) |
|
openems-git
|
v0.0.36.r15.g1ccf094-1 |
3 |
0.00
|
a free and open source EC-FDTD solver |
thasti
|
2024-03-16 19:23 (UTC) |
|
hnsd-git
|
1.0.0.5.g1b47849-1 |
2 |
0.00
|
SPV resolver daemon for the Handshake network. Written in C for speed/size/embedability. |
thann
|
2021-01-06 20:06 (UTC) |
|
peldd
|
0.3.0-1 |
0 |
0.00
|
DLL dependency resolver for PE32(+) executables |
tblFlip
|
2024-02-27 20:49 (UTC) |
|
lingo
|
20.0-1 |
0 |
0.00
|
Comprehensive modeling language and solvers for linear, non-linear, and integer programming. |
sukanka
|
2023-04-15 03:50 (UTC) |
|
kanidm-unixd-clients-git
|
1.3.0.dev.r3.g1fb816582-1 |
0 |
0.00
|
kanidm localhost resolver to resolve posix identities to a kanidm instance. |
soloturn
|
2024-05-01 08:38 (UTC) |
|
kanidm-unixd-clients
|
1.2.0-1 |
3 |
0.25
|
kanidm localhost resolver to resolve posix identities to a kanidm instance. |
soloturn
|
2024-05-01 09:22 (UTC) |
|
android-constraint-layout
|
1.0.2-2 |
1 |
0.00
|
ConstraintLayout for Android (includes solver) |
sjakub
|
2018-04-03 22:01 (UTC) |
|
rescached-git
|
4.4.2.r9.gd35cf24-1 |
6 |
0.00
|
Resolver/DNS cache daemon |
shulhan
|
2024-03-26 18:10 (UTC) |
|
nheqminer-cuda-git
|
0.5c.r1.gb9900ff-1 |
11 |
0.00
|
zcash equihash miner by NiceHash. Djezo GPU/CUDA solver build. |
sebstar
|
2018-02-05 16:36 (UTC) |
|
nheqminer-cpu-git
|
0.5c.r1.gb9900ff-2 |
13 |
0.00
|
zcash equihash miner by NiceHash. Xenoncat CPU solver build. |
sebstar
|
2017-01-18 12:16 (UTC) |
|
coin-or-hsl
|
2023.05.26-1 |
3 |
0.00
|
HSL Mathematical Software Library. Including solvers for sparse linear systems of equations and sparse eigenvalue problems. Compiled with coin-or-tools, supports Ipopt. |
sbalula
|
2023-06-19 16:39 (UTC) |
|
hodoku
|
2.3.2_WIP-1 |
15 |
0.00
|
Sudoku generator/solver/analyzer |
SanskritFritz
|
2024-01-27 15:26 (UTC) |
|
pointwise
|
18.6R6-1 |
1 |
0.00
|
Pointwise is the choice for CFD (computational fluid dynamics) mesh generation, covering all of preprocessing from geometry model import to flow solver export. |
SandFloh
|
2023-08-08 12:57 (UTC) |