204 packages found. Page 1 of 5.

1 2 3 4 5 Next › Last »

Name Version Votes Popularity? Description Maintainer
flaresolverr-bin 2.2.9-1 5 0.73 A proxy server to bypass Cloudflare protection txtsd
rescached-git 4.3.0.r0.g36b08fe-1 6 0.69 Resolver/DNS cache daemon shulhan
rocalution 5.2.3-1 2 0.60 Next generation library for iterative sparse solvers for ROCm platform tpkessler
hipsolver 5.2.1-1 1 0.60 rocSOLVER marshalling library. tpkessler
rocsolver 5.2.3-1 2 0.60 Subset of LAPACK functionality on the ROCm platform tpkessler
elpa 2022.05.001-2 4 0.27 Eigenvalue SoLvers for Petaflop-Applications a.kudelin
minisat-git 2.2.1.r3.gf7d16b9-1 2 0.26 A minimalistic and high-performance SAT solver (git version) dkasak
stegsolve 1.3-3 21 0.16 A steganographic image analyzer, solver and data extractor for challanges anthraxx
minion 2.0-3 2 0.14 A relatively new constraint solver which is fast and scales well as problem size increases thor77
python2-kiwisolver 1.1.0-5 1 0.13 A fast implementation of the Cassowary constraint solver hexd
damask-mesh 3.0.0~alpha6-3 2 0.11 Mesh solver for DAMASK MartinDiehl
damask-grid 3.0.0~alpha6-3 2 0.11 Grid solver for DAMASK MartinDiehl
nss-tls-git r80.e31dd2a-1 3 0.10 A DNS over HTTPS resolver for glibc orphan
hypre 2.25.0-1 4 0.07 Parallel solvers for sparse linear systems featuring multigrid methods carlosal1015
gurobi 9.5.2-1 7 0.04 State-of-the-art solver for mathematical programming marcosmrai
mumps 5.5.1-1 14 0.04 Sparse solver library using Gaussian elimination MartinDiehl
boolector 3.2.2-2 2 0.04 Boolector is an efficient SMT solver for the quantifier-free theory of bit-vectors in combination with the quantifier-free extensional theory of arrays. Ice_Phoenix
cadical 1.5.0-1 2 0.04 A simple CDCL satisfiability solver keenerd
bertini_real-git r1075.3dbac52-1 1 0.04 Numerical decomposition of real algebraic sets, based on the Bertini homotopy continuation solver akobel
bertini 1.6-2 2 0.04 Homotopy continuation solver for systems of polynomial equations akobel
openems-git v0.0.35.r62.gbb235b2-1 3 0.02 a free and open source EC-FDTD solver thasti
ceres-solver 2.1.0-1 19 0.02 Solver for nonlinear least squares problems dtag
uarmsolver 0.2.4-1 2 0.02 Universal Association Rule Mining Solver carlosal1015
mumps-par 5.4.1-1 1 0.01 Sparse solver library using Gaussian elimination, with parmetis implementation heavysink
python-picos 2.4-1 2 0.01 A Python interface to conic optimization solvers. Viech
ampl-asl 20220520-1 1 0.01 AMPL Solver Library carlosal1015
coin-or-symphony 5.6.19-1 2 0.01 COIN-OR solver for mixed-integer linear programs (MILPs) carlosal1015
octave-msh 1.0.10-5 3 0.01 Create and manage triangular and tetrahedral meshes for Finite Element or Finite Volume PDE solvers. Use a mesh data structure compatible with PDEtool. Rely on gmsh for unstructured mesh generation. carlosal1015
qbsolv 0.3.4-1 1 0.01 A decomposing solver that finds a minimum value of a large quadratic unconstrained binary optimization (QUBO) problem yasuo-ozu
python-scs 3.2.0-1 4 0.01 Convex cone solver via operator splitting. thrasibule
coin-or-hsl 2021.05.05-1 2 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
pointwise 18.6R1-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
calculix-ccx 2.20-1 22 0.00 CalculiX: 3D Structural Finite Element Program - Solver mauritiusdadd
python-osqp v0.7.9-3 1 0.00 Python interface for OSQP (Operator Splitting QP Solver) doublesack
ecos 2.0.10-1 5 0.00 A lightweight conic solver for second-order cone programming. thrasibule
python-pyamg 4.2.3-2 2 0.00 Algebraic Multigrid Solvers in Python carlosal1015
python-dune-istl 2.8.0-2 1 0.00 Iterative Solver Template Library (python bindings) carlosal1015
dune-istl 2.8.0-2 1 0.00 Iterative Solver Template Library carlosal1015
sdpb-git 1517.428b7ee-1 1 0.00 Semidefinite program solver designed for the conformal bootstrap mane.andrea
python-slycot 0.5.0.0-1 1 0.00 Python wrapper for selected SLICOT routines, notably including solvers for Riccati, Lyapunov and Sylvester equations. bnavigator
python-lapsolver 1.1.0-3 1 0.00 Fast linear assignment problem solvers coldsoup49
python-scikit-umfpack 0.3.2-1 1 0.00 Python interface to UMFPACK sparse direct solver. greyltc
mosek 1:10.0.20-1 5 0.00 A commercial solver for mathematical optimization problems. ido
r-desolve 1.33-2 1 0.00 Solvers for Initial Value Problems of Differential Equations ('ODE', 'DAE', 'DDE') BioArchLinuxBot
colorcode 0.8.5-2 1 0.00 Advanced MasterMind game and solver zoe
lingeling 180517-1 1 0.00 A BSP SAT solver derived from Picosat. keenerd
glucose 4.1-1 1 0.00 Parallel SAT solver based on Minisat, with glue clauses. keenerd
spooles 2.2-7 11 0.00 SParse Object Oriented Linear Equations Solver gborzi
sdns-git r659.3089a62-1 1 0.00 Privacy important, fast, recursive dns resolver server with dnssec support spikecodes
mumps-seq-shared 5.3.5-1 2 0.00 Sparse solver library using Gaussian elimination (sequential version, shared library version) lobachevsky

204 packages found. Page 1 of 5.

1 2 3 4 5 Next › Last »